Issue 77: You can drag the editor by the preferences widget
Status:  Accepted
Owner:
Project Member Reported by roberto.alsina, Mar 2, 2010
What steps will reproduce the problem?
1. open marave
2. open preferences
3. click+drag the preferences widget

What is the expected output? What do you see instead?

It drags the editor around, which is kinda surprising.