<child>
<object class="GtkFrame" id="frame1">
<child>
- <object class="GtkSourceView" id="source_view" />
+ <object class="GtkScrolledWindow" id="scrolledwindow">
+ <property name="hscrollbar_policy">automatic</property>
+ <property name="vscrollbar_policy">automatic</property>
+ <child>
+ <object class="GtkSourceView" id="source_view" />
+ </child>
+ </object>
</child>
</object>
</child>
<child>
<object class="GtkFrame" id="frame2">
<child>
- <object class="GtkTextView" id="error_view">
- <property name="height_request">100</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="editable">False</property>
+ <object class="GtkScrolledWindow" id="scrolledwindow">
+ <property name="hscrollbar_policy">automatic</property>
+ <property name="vscrollbar_policy">automatic</property>
+ <child>
+ <object class="GtkTextView" id="error_view">
+ <property name="height_request">100</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="editable">False</property>
+ </object>
+ </child>
</object>
</child>
</object>
Gtk.init(Seed.argv);
GtkClutter.init(Seed.argv);
+var current_filename = "";
+var stage_manager = Clutter.StageManager.get_default();
+
var gb = new Gtk.Builder();
gb.add_from_file("clutter-pad.ui");
var clutter = gb.get_object("clutter");
var stage = clutter.get_stage();
-stage.color = {red:255, alpha: 255};
+
window.resize(800, 600);
window.show_all();
Gtk.main();
-/*var current_filename = "";
-var stage, gtkstage = null;
-var stage_manager = Clutter.StageManager.get_default();
-
+/*
function evaluate(button)
{
var children = stage.get_children();