| Issue 77: | You can drag the editor by the preferences widget | |
| 1 person starred this issue and may be notified of changes. | Back to list |
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. |