Allan Odgaard c939c53f34 Don’t let HTMLOutputWindowController handle toggleHTMLOutput: ...

Now that the window is a panel, we can rely on the main window to close the window on toggle, even with the HTML window having key.

2020-05-13 18:50:02 +07:00

..

src

Don’t let HTMLOutputWindowController handle toggleHTMLOutput:

2020-05-13 18:50:02 +07:00

target

Set frame autosave name of HTML output windows during creation

2016-08-28 13:32:48 +02:00