John Benediktsson 96a0c30baf ui.backend: adding ui-stop-after-last-window?. ... This defaults to true, except for the "ui.tools". Also, this only works on macOS right now. Linux and Windows always stop after the last window closes.		2017-03-05 14:51:33 -08:00
..
cocoa	ui.backend: adding ui-stop-after-last-window?.	2017-03-05 14:51:33 -08:00
gtk	ui.pixel-formats,ui.backend.*: new word pixel-format-attributes>int-array	2017-01-30 05:43:19 +01:00
windows	ui.*: using pixel-format-attributes>int-array in even more places	2017-01-30 06:17:37 +01:00
x11	ui.pixel-formats,ui.backend.*: new word pixel-format-attributes>int-array	2017-01-30 05:43:19 +01:00
authors.txt	…
backend.factor	ui.backend: adding ui-stop-after-last-window?.	2017-03-05 14:51:33 -08:00
summary.txt	…