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 /src | |
| parent | 5d71671094774d9d35e98bfb6655a45e8fdc5ffd (diff) | |
| parent | feee956d9b5e56f55dbf5e42638956fff3f8417b (diff) | |
merge plastic stuff
Diffstat (limited to 'src')
| -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); |
