Ben Marsh e48c69bf58 LiveCoding: Tweaks to live coding settings. ...

* Compile dropdown now just contains a checkbox for enabling live coding.
* Compile dropdown has a link to open the editor preferences window.
* Live coding can be enabled from the editor settings window.
* Option to show the console on startup is now folded into the startup mode.
* Options in the editor settings window are greyed out unless live coding is enabled.

#rb none
#jira

[CL 5352692 by Ben Marsh in 4.22 branch]

2019-03-08 16:02:27 -05:00

8.3 KiB

Raw Blame History

View Raw