File Explorer Movability

pitfiend / contexteditor

Context Editor

2 stars 0 forks source link

File Explorer Movability #22

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago

What steps will reproduce the problem?
1. Open ConTEXT without the File Explorer Docked

What is the expected output?
Ability to resize the file explorer

What do you see instead?
File Explorer cannot be resized without the window being docked.

Original issue reported on code.google.com by info%con...@gtempaccount.com on 26 Aug 2009 at 10:17

GoogleCodeExporter commented 8 years ago

This issue is wrong.

When the File Explorer is NOT docked, it can be resized. Once the File Explorer 
is 
docked, it cannot be resized.

Original comment by info%con...@gtempaccount.com on 26 Aug 2009 at 10:22