diff --git a/app/chrome/manifest.json b/app/chrome/manifest.json index 51079ee..a4a6081 100644 --- a/app/chrome/manifest.json +++ b/app/chrome/manifest.json @@ -1,7 +1,7 @@ { "manifest_version": 2, "name": "JSON Editor", - "version": "2.1.0", + "version": "2.1.1", "description": "JSON Editor is a tool to view, edit, and format JSON. It shows your data in an editable treeview and in a code editor.", "app": { "urls": [ diff --git a/app/web/app.js b/app/web/app.js index fff5f98..5a0b123 100644 --- a/app/web/app.js +++ b/app/web/app.js @@ -319,7 +319,10 @@ app.resize = function() { else { // both editor and formatter visible splitterLeft = width * value - splitterWidth / 2; - domSplitterDrag.innerHTML = '⋮'; + + // TODO: find a character with vertical dots that works on IE8 too, or use an image + var isIE8 = (jsoneditor.util.getInternetExplorerVersion() == 8); + domSplitterDrag.innerHTML = (!isIE8) ? '⋮' : '|'; domSplitterDrag.title = 'Drag left or right to change the width of the panels'; } diff --git a/app/web/index.html b/app/web/index.html index 14ece03..d4e1a45 100644 --- a/app/web/index.html +++ b/app/web/index.html @@ -168,7 +168,7 @@