diff options
| -rw-r--r-- | html/display_panel/content/panel-styles.css | 5 | ||||
| -rw-r--r-- | manifest.json | 2 |
2 files changed, 3 insertions, 4 deletions
diff --git a/html/display_panel/content/panel-styles.css b/html/display_panel/content/panel-styles.css index 3257192..6114307 100644 --- a/html/display_panel/content/panel-styles.css +++ b/html/display_panel/content/panel-styles.css @@ -114,9 +114,8 @@ button:disabled { button.toggle-source { color: #004; - margin-right: .5em; - width: 4em; - overflow: hide; + width: 5em; + text-align:center; } pre.source { diff --git a/manifest.json b/manifest.json index b299846..607769d 100644 --- a/manifest.json +++ b/manifest.json @@ -2,7 +2,7 @@ "manifest_version": 2, "name": "GNU LibreJS [webExtensions]", "short_name": "LibreJS [experimental]", - "version": "7.19rc4", + "version": "7.19", "author": "various", "description": "Only allows free and/or trivial Javascript to run.", "applications": { |