changeset 1981:3640968ba259

Fixed a glitch with panel size change and redraw
author Jorge Arellano Cid <jcid@dillo.org>
date Thu, 21 Apr 2011 19:06:09 -0300
parents 95f3007dbbfc
children 8e0c182b52ee
files src/ui.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/ui.cc	Thu Apr 21 17:46:42 2011 -0300
+++ b/src/ui.cc	Thu Apr 21 19:06:09 2011 -0300
@@ -627,7 +627,7 @@
        NavBar->begin();
         make_toolbar(ww,bh);
         w = new Fl_Box(p_xpos,0,ww-p_xpos-2*pw,bh);
-        w->box(FL_NO_BOX);
+        w->box(FL_FLAT_BOX);
         NavBar->resizable(w);
         p_xpos = ww - 2*pw;
         if (PanelSize == P_small) {