gavioto / stexbar

Automatically exported from code.google.com/p/stexbar
0 stars 1 forks source link

change settings for editbox-cmd and editbox-filter to normal setting #54

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
What is the expected output? 

make the following items editable like the other custom commands in options:
- editbox filder
- editbox command

so i can decide where i like to place this 2 widgets (1 or both)

Original issue reported on code.google.com by nietz...@gmail.com on 16 Mar 2009 at 4:24

GoogleCodeExporter commented 9 years ago
Since the edit box has to be resizable, the only place is at the end of all 
commands.
If it wasn't resizable, it would be very unfriendly to use it for e.g., longer
commands or longer search strings since they wouldn't be fully visible.

And you can already hide the edit box completely in the options dialog.

Original comment by tortoisesvn on 16 Mar 2009 at 5:51