From 24d3b8060c76c78a1298a3069d030e6e5203c578 Mon Sep 17 00:00:00 2001 From: Johannes Hofmann Date: Fri, 17 Jun 2005 17:56:32 +0000 Subject: fix resizing of text property widgets. : ---------------------------------------------------------------------- fix resizing of text property widgets. : ---------------------------------------------------------------------- --- src/flpsed.cxx | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/flpsed.cxx b/src/flpsed.cxx index ace258d..c4abf81 100644 --- a/src/flpsed.cxx +++ b/src/flpsed.cxx @@ -1,5 +1,5 @@ // -// "$Id: flpsed.cxx,v 1.37 2005/06/17 18:20:42 hofmann Exp $" +// "$Id: flpsed.cxx,v 1.38 2005/06/17 19:56:32 hofmann Exp $" // // flpsed program. // @@ -495,7 +495,9 @@ int main(int argc, char** argv) { m = new Fl_Menu_Bar(0, 0, 600, 30); m->menu(menuitems); - Fl_Box b(FL_UP_BOX, 0, 30, 600, 25, ""); + Fl_Box props_box(FL_UP_BOX, 0, 30, 600, 25, ""); + Fl_Group props(0, 30, 600, 25); + props.resizable(NULL); size_c = new Fl_Choice(30, 32, 50, 21, NULL); size_c->menu(size_menu); size_c->callback(size_cb); @@ -506,6 +508,7 @@ int main(int argc, char** argv) { color_b->callback(color_cb, color_b); color_b->shortcut(FL_ALT + 'c'); color_b->tooltip("Text Color"); + props.end(); scroll = new Fl_Scroll(0, 55, win->w(), win->h()-55); psed_p = new PSEditor(0, 0, 700, 900); -- cgit v1.2.3