Martino Facchin
e1a5be7354
Cleanup IDE quit()
There were two different routines andling more or less the same operations.
Let the IDE call "real" quit when the last Editor windows is being closed.
2018-11-08 18:07:33 +01:00
..
2017-02-20 15:22:27 +01:00
2018-09-03 13:29:42 +02:00
2018-11-08 18:07:33 +01:00
2018-05-22 17:46:11 +02:00
2013-08-28 10:12:33 +02:00
2018-05-17 09:14:25 +02:00
2018-08-28 17:53:04 +02:00
2015-08-10 09:35:47 +02:00
2015-05-08 10:18:43 +02:00
2009-05-31 15:53:33 +00:00
2016-11-03 15:01:36 +02:00