Did you know...
You can open an external editor for your kernel files.
Just double-click the tab for the file and
an editor will be opened.
You can specify the editor by setting the variable fileEditor
in the file gui/cfg/BGUI.cfg.
E.g. fileEditor=kate