octave-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #57238] Find popup window for GUI editor needs

From: Torsten Lilge
Subject: [Octave-bug-tracker] [bug #57238] Find popup window for GUI editor needs more practical positioning
Date: Sat, 16 Nov 2019 10:56:48 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/13.0 Safari/605.1.15 Epiphany/605.1.15 
Follow-up Comment #5, bug #57238 (project octave):

1a, 1b, 2a agreed.

2b really seems to be a contradiction to me. whoat about a history list of
search and replace terms instead?




    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?57238>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]