From 907998343d23be6e9fbb98a5ca27626788ead370 Mon Sep 17 00:00:00 2001
From: Jeff Schiller <codedread@gmail.com>
Date: Fri, 15 Jan 2010 21:13:11 +0000
Subject: [PATCH] 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
---
 editor/svg-editor.css  | 5 +++--
 extras/update-langs.py | 6 ++++--
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/editor/svg-editor.css b/editor/svg-editor.css
index 35c5a389..733cec91 100644
--- a/editor/svg-editor.css
+++ b/editor/svg-editor.css
@@ -306,8 +306,9 @@
 #svg_editor #main_menu li {
 /*	height: 35px;*/
 	line-height: 22px;
-	padding-top: 2px;
-	padding-left: 2px;
+	padding-top: 7px;
+	padding-left: 7px;
+	margin: -5px;
 	overflow: auto;
 	cursor: default;
 }
diff --git a/extras/update-langs.py b/extras/update-langs.py
index 05b5837c..b863c4d3 100755
--- a/extras/update-langs.py
+++ b/extras/update-langs.py
@@ -1,7 +1,9 @@
 #!/usr/bin/env python
 # -*- coding: utf-8 -*-
 
-# This is a helper script for the svg-edit project, useful for updating language files
+# This is a helper script for the svg-edit project, useful for managing
+# all the language files
+#
 # Licensed under the Apache 2 License as is the rest of the project
 # Requires Python 2.6
 #
@@ -60,7 +62,7 @@ def processFile(filename):
 		j = json.loads(in_string)
 		
 		# process the JSON object here
-		updateMainMenu(j)
+#		updateMainMenu(j)
 	
 		# now write it out back to the file
 		s = ourPrettyPrint(j).encode("UTF-8");