|
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/
[Prev in Thread] | Current Thread | [Next in Thread] |