comparison scripts/java/dlgtest.m @ 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 05c781cca57e
children
comparison
equal deleted inserted replaced
15900:80e99730e5d4 15901:927b121ad63f