sigzero
sigzero
Unregistered User
Groups: Anyone
Posts in jEdit
Show   Total: 2 items
Date Subject Count Location
[ jEdit-devel ] [jedit:feature-requests] #537 Add "default encoding" option in the "Mode Settings" 1 reply jedit-devel
[ jEdit-devel ] [jedit:bugs] #4032 Blank UI Space to right of status bar 0 replies jedit-devel