After Bill Gray: "Don't redraw the entire screen each time a mouse

button goes up."
This commit is contained in:
William McBrine
2018-01-12 22:54:28 -05:00
parent 3d2ce1e5dc
commit 00a5144b18

View File

@@ -1016,8 +1016,7 @@ static void _refresh_screen(void)
}
}
if (mouse_selection)
_selection_off();
_selection_off();
}
static void _handle_expose(Widget w, XtPointer client_data, XEvent *event,
@@ -1596,12 +1595,15 @@ static void _selection_off(void)
{
XC_LOG(("_selection_off() - called\n"));
_display_screen();
if (mouse_selection)
{
_display_screen();
selection_start_x = selection_start_y = selection_end_x =
selection_end_y = 0;
selection_start_x = selection_start_y = selection_end_x =
selection_end_y = 0;
mouse_selection = FALSE;
mouse_selection = FALSE;
}
}
static void _selection_on(int x, int y)