jEdit 4.4.1 Windows nits
Submitted by on Monday, 25 July, 2011 - 20:09
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.

