jEdit 4.4.1 Windows nits
Submitted by Monday, 25 July, 2011 - 20:09
on
Switching to jEdit 4.4.1 on Windows 7; so far I'm enjoying jEdit, but are are some minor annoyances:
* using command line to open a file in jEdit will not switch the keyboard focus to jEdit.
Here's a workaround: front.py
# bring named window to front import re import sys import win32gui def winEnumHandler(hwnd, match): if win32gui.IsWindowVisible(hwnd): if match(win32gui.GetWindowText(hwnd)): print "found" win32gui.SetForegroundWindow(hwnd) win32gui.SetFocus(hwnd) def front(pattern): match = re.compile(pattern).match win32gui.EnumWindows(winEnumHandler, match) if __name__ == '__main__': front(sys.argv[1])and j.cmd:
start C:\PROGRA~1\jEdit\jedit.EXE %* front "jEdit.*"This helps but doesn't seem to work every time. Probably needs an event flush somewhere.
Another nit:
* jEdit uses alt+ keys (arrow, pgup/pgdown/home/end, etc). I like to use the keypad (w/numlock off) for these keys, but with alt+keypad, Windows insists on adding a Unicode character, even with numlock off.
I've done some googling but haven't found a workaround for this yet. Might have to add alternate mappings for the relevant shortcuts.