|
From: | Mike Miller |
Subject: | [Octave-bug-tracker] [bug #39451] GUI: 'doc' should open documentation window rather than info browser |
Date: | Sun, 21 Jul 2013 20:31:43 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/28.0.1500.71 Safari/537.36 |
Follow-up Comment #3, bug #39451 (project octave): I agree with Rik's focus switch. Compare with the current behavior of the GUI with "edit newfunc.m". Both are user-initiated actions that effective change focus in the command-line interface, so I don't think it's disruptive to switch focus in the GUI. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?39451> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |