log libgui/src/external-editor-interface.cc @ 26376:00f796120a6d stable

age author description
Wed, 02 Jan 2019 16:32:43 -0500 John W. Eaton maint: Update copyright dates in all source files. stable
Fri, 30 Mar 2018 09:19:05 -0400 John W. Eaton maint: Update copyright dates in all source files. stable
Fri, 09 Feb 2018 16:14:26 -0500 John W. Eaton move more GUI classes inside octave namespace
Mon, 08 Jan 2018 16:13:27 -0800 Rik Open GUI external editor at beginning of file (bug #52811).
Sat, 06 Jan 2018 07:57:19 -0800 Rik maint: Update punctuation for GPL v3 license text.
Wed, 06 Sep 2017 09:25:46 -0400 John W. Eaton style fixes for some GUI source files
Tue, 11 Apr 2017 08:00:23 +0200 Torsten improve opening files from gui when built without qscintilla (bug #39179)