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");