diff options
| author | Daniel Francis <santiago.danielfrancis@gmail.com> | 2011-12-07 00:01:33 (GMT) |
|---|---|---|
| committer | Daniel Francis <santiago.danielfrancis@gmail.com> | 2011-12-07 00:01:33 (GMT) |
| commit | 9e8e3c701cc45d60fc1055c500528b20f34cdf34 (patch) | |
| tree | 9de9285481dea6d297d2869574ae4c2b8ef3e741 | |
| parent | 88fef435797f9dfebcf6610a83c5c004ff512ec8 (diff) | |
Writing correction
| -rw-r--r-- | activity.py | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/activity.py b/activity.py index a4f355e..e9629fc 100644 --- a/activity.py +++ b/activity.py @@ -65,7 +65,7 @@ class JAMEdit(activity.Activity): scroll.show_all() vbox = gtk.VBox() - vbox.add(scroll) + vbox.pack_start(scroll, True, True, 0) vbox.show_all() self.set_canvas(vbox) @@ -98,7 +98,10 @@ class JAMEdit(activity.Activity): activity_toolbar.show_all() activity_toolbar.stop.hide() - activity_toolbar.keep.hide() + save_as = gtk.MenuItem(_("Save on the file system.")) + activity_toolbar.keep.props.palette.menu.append(save_as) + save_as.show() + activity_toolbar.keep.show() self.toolbar_box.toolbar.insert(activity_button, 0) @@ -217,7 +220,7 @@ class JAMEdit(activity.Activity): self.pep8_bar = gtk.Statusbar() self.pep8_bar.label = gtk.Label() self.pep8_bar.add(self.pep8_bar.label) - vbox.add(self.pep8_bar) + vbox.pack_end(self.pep8_bar, False, True, 0) def change_font(self, widget, family, face, size): self.editor.modify_font(pango.FontDescription("%s %s %d" % (family, face, size))) |