diff options
| author | Gonzalo Odiard <godiard@gmail.com> | 2014-02-12 00:08:25 (GMT) |
|---|---|---|
| committer | Gonzalo Odiard <godiard@gmail.com> | 2014-02-12 00:08:25 (GMT) |
| commit | 9558b525b7f366c10ef2e1dab49354699cd89b29 (patch) | |
| tree | e02dee76a4ef2a0a8a371f12a7fb0ed36b3a9cdf | |
| parent | 379263f3c0bfe6c0fcc5b3eb294a2b8d69f7acdb (diff) | |
Initial fix for symbols tree
| -rw-r--r-- | develop-activity/sourceview_editor.py | 2 | ||||
| -rw-r--r-- | develop-activity/symbols_tree.py | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/develop-activity/sourceview_editor.py b/develop-activity/sourceview_editor.py index fdfbf57..f0263d7 100644 --- a/develop-activity/sourceview_editor.py +++ b/develop-activity/sourceview_editor.py @@ -219,7 +219,7 @@ class GtkSourceview2Editor(Gtk.Notebook): page = self._get_page() _buffer = page.get_buffer() _iter = _buffer.get_iter_at_line(line - 1) - page.scroll_to_iter(_iter, 0.0) + page.scroll_to_iter(_iter, 0.1, False, 0, 0) class GtkSourceview2Page(GtkSource.View): diff --git a/develop-activity/symbols_tree.py b/develop-activity/symbols_tree.py index 28ba503..db630e6 100644 --- a/develop-activity/symbols_tree.py +++ b/develop-activity/symbols_tree.py @@ -26,7 +26,7 @@ class SymbolsTree(Gtk.TreeView): def __init__(self): GObject.GObject.__init__(self) - self._model = Gtk.TreeStore(GdkPixbuf.Pixbuf, str, str) + self._model = Gtk.TreeStore(GdkPixbuf.Pixbuf, str, int) self.set_model(self._model) column = Gtk.TreeViewColumn('Symbols') @@ -65,7 +65,7 @@ class SymbolsTree(Gtk.TreeView): def _symbol_selected_cb(self, widget): selection = self.get_selection() model, _iter = selection.get_selected() - line = int(model.get_value(_iter, 2)) + line = model.get_value(_iter, 2) if line is 0: return self.emit('symbol-selected', line) |