diff options
author | 2013-08-18 20:39:52 +0200 | |
---|---|---|
committer | 2013-08-18 20:39:52 +0200 | |
commit | b1860d17e0ed1789a6f78786bd2426318a9bd5fd (patch) | |
tree | a74fc07506a9408ccb4ac576d00b681ddf04be35 /plugins/gtkui/gtkui_api.h | |
parent | ad99a354577d5e0b75958a80bfbdbc090842d45c (diff) |
fixed tabstrip scrolling timer bug
Diffstat (limited to 'plugins/gtkui/gtkui_api.h')
0 files changed, 0 insertions, 0 deletions