diff options
author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2005-11-10 20:58:08 +0100 |
---|---|---|
committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2005-11-10 20:58:08 +0100 |
commit | 72d1785d3854304d2b41b6d64b82768141d9f30d (patch) | |
tree | 1c0ccff9921c6f67fa880c6a02117657c2fe7ff9 | |
parent | 5d71671094774d9d35e98bfb6655a45e8fdc5ffd (diff) | |
parent | feee956d9b5e56f55dbf5e42638956fff3f8417b (diff) |
merge plastic stuff
-rw-r--r-- | src/gipfel.cxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/gipfel.cxx b/src/gipfel.cxx index b5ff265..2e7f63f 100644 --- a/src/gipfel.cxx +++ b/src/gipfel.cxx @@ -342,9 +342,15 @@ int main(int argc, char** argv) { exit(1); } + Fl::scheme("plastic"); + control_win = create_control_window(); view_win = new Fl_Window(800, 600); + + // The Fl_Group is used to avoid FL_DAMAGE_ALL in Fl_Scroll::position + Fl_Group *g = new Fl_Group(0, 0, view_win->w(), view_win->h()); + scroll = new Fl_Scroll(0, 0, view_win->w(), view_win->h()); gipf = new GipfelWidget(0,0,800,600); |