[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #53640] editor find shortcuts do not work

From: Dan Sebald
Subject: [Octave-bug-tracker] [bug #53640] editor find shortcuts do not work
Date: Fri, 13 Apr 2018 12:54:55 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:55.0) Gecko/20100101 Firefox/55.0

Follow-up Comment #4, bug #53640 (project octave):

Give the attached changeset a try.

(file #43916)

Additional Item Attachment:

File name: octave-documentation_shortcut_context_fine_tune-djs2018apr13.patch
Size:2 KB


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]