octave-patch-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-patch-tracker] [patch #7857] Replace dynamic casts of GUI/IDE ed


From: Torsten
Subject: [Octave-patch-tracker] [patch #7857] Replace dynamic casts of GUI/IDE editor with more slots/signals configuration
Date: Sun, 11 Nov 2012 15:55:38 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:16.0) Gecko/20100101 Firefox/16.0

Follow-up Comment #23, patch #7857 (project octave):

I would like to push this patch. Are there any other comments?

Two more comments from my side:

In check_conflict_save
* the test is case sensitive; this could raise problems on windows where file
names are not case sensitive
* I vote for not allowing writing in case of conflict, just a message box


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?7857>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]