| commit | f6ceb8d16d40bef9906baaecd51147d14af990b6 | |
| author | Mooffie <mooffie@gmail.com> | |
| Wed, 15 Feb 2017 22:23:33 +0000 (16 00:23 +0200) | ||
| committer | Mooffie <mooffie@gmail.com> | |
| Sat, 18 Feb 2017 22:04:38 +0000 (19 00:04 +0200) | ||
| tree | 8f81a912fa34e0f9ed4943a18d0bdb3ae14d26a8 | treesnapshot (tar.gz zip) |
| parent | 0481b8e7901539a19f0b243a86cc1d769a487009 | commitdiff |
WEdit shouldn't draw frame over buttonbar.
When dragging a framed WEdit with the mouse, the frame is painted over the
buttonbar. This happens in two cases: when pressing the mouse down, and when
releasing it.
The patch fixes the problem by calling edit_update_screen() in these two cases.
This paints the buttonbar over the frame.
(The problem doesn't occur when moving the frame with the keyboard because
edit_callback(msg==MSG_KEY) calls edit_update_screen() right after handling the
key.)
Signed-off-by: Mooffie <mooffie@gmail.com>
When dragging a framed WEdit with the mouse, the frame is painted over the
buttonbar. This happens in two cases: when pressing the mouse down, and when
releasing it.
The patch fixes the problem by calling edit_update_screen() in these two cases.
This paints the buttonbar over the frame.
(The problem doesn't occur when moving the frame with the keyboard because
edit_callback(msg==MSG_KEY) calls edit_update_screen() right after handling the
key.)
Signed-off-by: Mooffie <mooffie@gmail.com>
| src/editor/editwidget.c | diffblobblamehistory |