[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #44701] external editor interactions with GUI
|
From: |
Rik |
|
Subject: |
[Octave-bug-tracker] [bug #44701] external editor interactions with GUI |
|
Date: |
Fri, 10 Apr 2015 01:42:53 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:37.0) Gecko/20100101 Firefox/37.0 |
Follow-up Comment #1, bug #44701 (project octave):
Torsten, I know you're busy at work. When you get a chance, could you take a
look at this. I think this will be easy to code by just checking whether the
preference for external editor is set before attempting to open the Editor
tab.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?44701>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/