svgedit/extras
Jeff Schiller 907998343d Fix Issue 415: main menu highlight extends to border of menu (patch from wnauta)
git-svn-id: http://svg-edit.googlecode.com/svn/trunk@1230 eee81c28-f429-11dd-99c0-75d572ba1ddd
2010-01-15 21:13:11 +00:00
..
server-save put server-save into "extras" 2009-06-06 23:54:53 +00:00
update-langs.py Fix Issue 415: main menu highlight extends to border of menu (patch from wnauta) 2010-01-15 21:13:11 +00:00