|
| From: | Dan Sebald |
| Subject: | [Octave-patch-tracker] [patch #7857] Replace dynamic casts of GUI/IDE editor with more slots/signals configuration |
| Date: | Thu, 04 Oct 2012 05:57:03 +0000 |
| User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111108 Fedora/3.6.24-1.fc14 Firefox/3.6.24 |
Follow-up Comment #3, patch #7857 (project octave):
This updated patch adds an else condition in the file_editor_tab::closeEvent()
function.
(file #26694)
_______________________________________________________
Additional Item Attachment:
File name: octave-gui_no_casts-2012oct04_01am.patch Size:75 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?7857>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |