- Start working on double-buffering on cairo widgets. The system

will SIGSEGV. I will fix this asap, in the meantime use the cmdline
interface.


git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@810 3ecf2c5c-341e-0410-92b4-d18e462d057c

src/gui_builder.cc

@@ -24,6 +24,9 @@
 #include "schedulables_widget.hh"
 #include "gui_builder.hh"
 
+#include "backend/history.hh"
+#include "backend/simulation.hh"
+
 #include <glibmm/ustring.h>
 #include <gtkmm/aboutdialog.h>
 #include <gtkmm/expander.h>
@@ -64,6 +67,10 @@ GuiBuilder::GuiBuilder(const std::string& gladefile)
 	scheds_expander->add(*scheds_widget);
 	// we have to remember to manually show custom added widgets:
 	scheds_widget->show();
+
+  // A test for widget display:
+  Simulation& sim = Simulation::get_instance();
+  sim.get_history().add_process("goofy", 0, 0);
 }