Menu
▾
▴
[ jEdit-users ] sidekick toggle unhides, but doesn't hide again (using myDoggy)
|
From: Jose Q. <qu...@gm...> - 2011-09-07 14:10:24
|
The shortcut for 'sidekick toggle' unhides, but doesn't hide again (using myDoggy). Btw, is there a bug tracker for jedit? DDG didn'find one :( |
