Changeset 30b68f2151c86a90dd3635f539e9c67f92dcd366

Timestamp:

01/06/07 23:50:30 (6 years ago)

Author:

Philipp Kern <phil@…>

Parents:

05f026facbe317e26de827a0c531be67f0f761ae

Children:

f9569c7dbc5524e359650a52028e8d92ed520d5d

git-committer:

Philipp Kern <phil@0x539.de> / 2007-01-06T22:50:30Z+0000

Message:

[project @ Patched set_selection to take Gtk::TextIter? and scroll to selected position]

Original author: Armin Burgmeier <armin@…>
Date: 2005-10-28 21:17:46+00:00

Files:

• inc/document.hpp (modified) (1 diff)
• src/document.cpp (modified) (2 diffs)

inc/document.hpp

@@ -56 +56 @@
         unsigned int get_unsynced_changes_count() const;
 
-        /** Selects the given region and places the cursor in front of the
-         * selection if <em>cursor_in_front</em> is true, otherwise behind
-         * the selection.
-         */
-        void set_selection(size_type begin, size_type len,
-                           bool cursor_in_front = false);
+        /** Selects the given region and scrolls to the selected text.
+         */
+        void set_selection(const Gtk::TextIter& begin,
+                           const Gtk::TextIter& end);
 
         /** Returns the current document revision.

src/document.cpp

@@ -185 +185 @@
 }
 
-void Gobby::Document::set_selection(size_type begin, size_type end,
-                                    bool cursor_in_front)
-{
-        Gtk::TextBuffer::iterator begin_it =
-                get_buffer()->get_iter_at_offset(begin);
-        Gtk::TextBuffer::iterator end_it =
-                get_buffer()->get_iter_at_offset(end);
-
-        if(cursor_in_front)
-                get_buffer()->select_range(begin_it, end_it);
-        else
-                get_buffer()->select_range(end_it, begin_it);
+void Gobby::Document::set_selection(const Gtk::TextIter& begin,
+                                    const Gtk::TextIter& end)
+{
+        get_buffer()->select_range(begin, end);
+        scroll_to(get_buffer()->get_insert(), 0.1);
 }
 
@@ -805 +798 @@
 }
 
+