User Activity

  • Committed [r8779]

    add several options for printing

  • Committed [r8776]

    removing local files from the recent menu when they are deleted did not work, because the label does not have the complete uri with file:// but only the local path

  • Committed [r8775]

    fix https://bugzilla.gnome.org/show_bug.cgi?id=789748 css was formatted in locale, but needs to be formatted in C

  • Committed [r8774]

    fixes csstidy bug https://bugzilla.gnome.org/show_bug.cgi?id=744874

  • Committed [r8773]

    make the initial scrolling for split viedw more logical

  • Committed [r8772]

    defensive coding for spacingtoclick, might fix https://bugzilla.gnome.org/show_bug.cgi?id=789687

  • Committed [r8771]

    markup search results in outputbox with bold, following suggestion from https://bugzilla.gnome.org/show_bug.cgi?id=789459

  • Committed [r8770]

    fix bug where mouse spacingtoclick and keyboard spacingtoclick interfered with each other

View All

Personal Data

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

Projects

Skills

  • No skills entered.

Personal Tools