User Activity

  • Committed [r8737]

    implements feature request https://bugzilla.gnome.org/show_bug.cgi?id=784476 select a line by clicking on the line number

  • Committed [r8735]

    add option to show search results in the Output Pane

  • Committed [r8734]

    patch to fix https://bugzilla.gnome.org/show_bug.cgi?id=783652 from Stefan.Blochberger@gmx.de

  • Committed [r8733]

    add missing css3 flex property

  • Committed [r8732]

    fixes current line highlighting and cursor highlighting, at least for me on 3.18. But I wonder what this fix does on gtk 3.14 or gtk 3.20

  • Committed [r8731]

    fixes warnings from GCC 7.1.1 as pointed out by Jim

  • Committed [r8730]

    should fix that last_activated_doc could point to a destroyed document (not yet tested)

  • Committed [r8729]

    add function to select current identifier, <shift><control><i>

View All

Personal Data

Username:
oli4
Joined:
2001-06-28 08:06:53

Projects

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks