On 07/28/2018 08:29 AM, John Coppens wrote:
> On Sat, 28 Jul 2018 07:42:16 -0400
> Reuben Rissler wrote:
>
>>> Thanks for the suggestion. Believe it or not, I had just arrived at
>>> that same solution! I first tried to use GLib.timeout_add(), and
>>> that worked too, if the time was larger than
On Sat, 28 Jul 2018 07:42:16 -0400
Reuben Rissler wrote:
> > Thanks for the suggestion. Believe it or not, I had just arrived at
> > that same solution! I first tried to use GLib.timeout_add(), and
> > that worked too, if the time was larger than 300 - 400 ms, which is
> > on the verge of
Thanks for the suggestion. Believe it or not, I had just arrived at that
same solution! I first tried to use GLib.timeout_add(), and that worked too,
if the time was larger than 300 - 400 ms, which is on the verge of annoying.
I then tried idle_add(), and I guess that makes the 300-400ms
On Fri, 27 Jul 2018 07:32:13 -0400
Reuben Rissler wrote:
> I have also seen place_cursor_onscreen() work well. Now the thing is,
> none of this will work until the Gtk.SourceView has properly been
> rendered. This means doing something like:
>
> self.source_buffer.set_text("my text")
On 07/26/2018 02:17 PM, John Coppens wrote:
get_iter_at_line, place_cursor, place_cursor_onscreen, and others. Even tried to
more or less calculate the scroll position and manipulate the vadjustments.
An example:
itr = self.tbff.get_iter_at_line(linenr)