Board Thread:Technical Updates/@comment-24006128-20200415134023/@comment-1038387-20200415141126

Source editor is nice, but just old regular source window is even nicer. In the first week of release, you could disable all editors. Which was taken away. Is there any indication that that option will become available again?