GUI Options dialog

This dialog allows the user to change some GUI settings.

The first two checkboxes control how freely the dockable widgets can be moved around and detached.


There are also a button to reset widgets' positions to a default setting.