Re: Move Editing and Fullscreen in the 'User interface' panel to a separate panel.

[Bo Peng]

>  The completion settings should probably get their own panel, no? They
>  take quite a lot of space.

I am not quite sure.... Maybe fullscreen back to user interface and
completion to editing?

Bo