diff bootstrap @ 18700:95a1ee1cbdf1

edit.m: add file extension .m to newly created files (bug #41522). * edit.m: add file extension .m to newly created files. If the gui is running then also open a file dialog where users can change the new name.
author Stefan Miereis <stefan.miereis@gmx.de>
date Thu, 20 Mar 2014 13:57:56 +0100
parents a801d0ab5830
children
line wrap: on
line diff