Cannot add or edit filter strings in File Browser
Submitted by Tuesday, 27 July, 2010 - 06:20
on
I have just installed jEdit on Mac OS X 10.6.4 (Snow Leopard),
flawlessly.
All the settings I like are now made and saved and restored OK.
A lot of keystrokes have been re-customized, but it all works.
I always filter groups of files to avoid opening the wrong
type of file.
So when I go to enter a new group of filter characters into
the File Browser (using Ctrl+O), I cannot enter any character,
not can I change an existing filter group that I managed to add
before (but don't know how).
A typical group of filters is:
{*.py,*.c,*.h}
...and I like to extend the group now and again.
There is NO problem in entering characters of any kind within
the editor itself - only into the "Filter" edit box in the
File Browser.
I have reset the machine in case this was a serious Java
problem, but no use.
Can anyone help?
Thanks.
flawlessly.
All the settings I like are now made and saved and restored OK.
A lot of keystrokes have been re-customized, but it all works.
I always filter groups of files to avoid opening the wrong
type of file.
So when I go to enter a new group of filter characters into
the File Browser (using Ctrl+O), I cannot enter any character,
not can I change an existing filter group that I managed to add
before (but don't know how).
A typical group of filters is:
{*.py,*.c,*.h}
...and I like to extend the group now and again.
There is NO problem in entering characters of any kind within
the editor itself - only into the "Filter" edit box in the
File Browser.
I have reset the machine in case this was a serious Java
problem, but no use.
Can anyone help?
Thanks.