4 Commits

Author	SHA1	Message	Date
chylex	aea77ff909	Make dev tools dialog a proper window that appears in taskbar	2020-02-15 15:18:16 +01:00
chylex	19f104239a	Fix missing spaces in C#/F# code	2019-08-23 01:56:31 +02:00
chylex	50b58cd6a6	Add keyboard shortcut to open dev tools (Ctrl+Shift+I)	2019-01-28 18:43:55 +01:00
chylex	01485d7ef9	Add a base class for browser keyboard handling	2019-01-28 18:42:27 +01:00