5 Commits

Author	SHA1	Message	Date
Dave Page	13d2f9131d	Replace the runtime themes with ones that don't have sizing issues. Fixes #5554	2020-07-17 15:31:04 +05:30
Dave Page	7192a2b675	Rewrite the runtime as a tray-based server which can launch a web browser. Fixes #3086	2018-02-05 15:32:14 +00:00
Neel Patel	0056a94115	Add support for detachable tabs to the runtime. ... This allows the Query Tool, Debugger and web browser tabs to be moved to different monitors as desired. Fixes #1344	2017-06-16 09:57:19 +01:00
Dave Page	1ce74fb8b1	Add a simple splash screen	2016-09-05 16:45:01 +01:00
Dave Page	39e822e846	Further nice-ification of the runtime UI.	2016-01-25 17:21:00 +00:00