You can drag the editor by the preferences widget

ralsina / marave

Automatically exported from code.google.com/p/marave

GNU General Public License v2.0

0 stars 2 forks source link

You can drag the editor by the preferences widget #77

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

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.

Original issue reported on code.google.com by roberto.alsina on 2 Mar 2010 at 3:02