Menu

#23 "Undo" does not work.

open
nobody
5
2016-08-17
2010-09-07
Anonymous
No

from http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=579168:

Package: gjots2
Version: 2.3.9-2
Severity: normal

- --- Please enter the report below this line. ---

"Undo" function was implemented in version 2.3.9 by using
gtksourceview:
http://bhepple.freeshell.org/gjots/versions.html

But it does not undo and gives in Terminal only:

Traceback (most recent call last):
File "/usr/lib/gjots2/gui.py", line 1474, in on_undo_trigger
self.textBuffer.undo()
AttributeError: 'gtk.TextBuffer' object has no attribute 'undo'

Discussion

  • Rolf

    Rolf - 2011-11-12

    This ticket can be closed as fixed.

     
  • Rolf

    Rolf - 2016-08-17

    Bob, please close the ticket to get it off the radar.

     

Log in to post a comment.