diff options
| author | Jorge Arellano Cid <jcid@dillo.org> | 2011-07-11 14:03:47 -0400 |
|---|---|---|
| committer | Jorge Arellano Cid <jcid@dillo.org> | 2011-07-11 14:03:47 -0400 |
| commit | 64ebc0065c367226307a4d98b084ad024f02e972 (patch) | |
| tree | 380dad3f9c7c1f6ff4aae48785cd8b8302c8490d /dw/fltkplatform.cc | |
| parent | 9ef8198720e627434f898fb41f0724c7849dacab (diff) | |
Made "hide-panels" hide the findbar, then panels (and removed "fullscreen").
Redefined "hide-panels" to close the findbar if it's visible, and all the
panels when the findbar is not visible.
Diffstat (limited to 'dw/fltkplatform.cc')
0 files changed, 0 insertions, 0 deletions