diff scripts/java/org/octave/TeXtranslator.java @ 15901:927b121ad63f

gui: new error message when saving a file as one already opened in the editor * file-editor.cc(check_conflict_save): new error message
author Torsten <ttl@justmail.de>
date Sat, 05 Jan 2013 21:30:01 +0100
parents 6e39fe7992d9
children d63878346099
line wrap: on
line diff