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

[Octave-bug-tracker] [bug #56114] GUI should gray out Editor options in

From: John W. Eaton
Subject: [Octave-bug-tracker] [bug #56114] GUI should gray out Editor options in Window Menu when Qscintilla is not present
Date: Thu, 11 Apr 2019 04:31:59 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0 
Follow-up Comment #1, bug #56114 (project octave):

I agree that the settings should be disabled if there is no editor available. 
For now that requires qscintilla, but it may not in the future so I'd prefer
to use something other than HAVE_QSCINTILLA.  Can we make it conditional on
whether the editor window is constructed?



    _______________________________________________________

Reply to this item at:

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

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