diff options
| author |  waker <wakeroid@gmail.com> | 2013-08-18 20:39:52 +0200 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2013-08-18 20:39:52 +0200 |
| commit | b1860d17e0ed1789a6f78786bd2426318a9bd5fd (patch) | |
| tree | a74fc07506a9408ccb4ac576d00b681ddf04be35 /plugins | |
| parent | ad99a354577d5e0b75958a80bfbdbc090842d45c (diff) | |
fixed tabstrip scrolling timer bug
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/gtkui/ddbtabstrip.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/gtkui/ddbtabstrip.c b/plugins/gtkui/ddbtabstrip.c index 5b54c78d..f9097b73 100644 --- a/plugins/gtkui/ddbtabstrip.c +++ b/plugins/gtkui/ddbtabstrip.c @@ -982,6 +982,7 @@ on_tabstrip_button_release_event (GtkWidget *widget, if (event->button == 1) { if (ts->scroll_timer > 0) { ts->scroll_direction = 0; + g_source_remove (ts->scroll_timer); ts->scroll_timer = 0; } if (ts->prepare || ts->dragging >= 0) { |