replaced nsIEditor with Orion editor from devtools
commit3b4c6110714f67c96a54a794b223d974ab618b39
authorKetmar Dark <ketmar@ketmar.no-ip.org>
Mon, 19 Oct 2015 09:51:28 +0000 (19 12:51 +0300)
committerKetmar Dark <ketmar@ketmar.no-ip.org>
Mon, 19 Oct 2015 09:51:28 +0000 (19 12:51 +0300)
tree70b0ceb35f0eb1244dfc893608cf76ddeaba428d
parent32b79eff8389106b5709f0e6ce066074b55e5d9c
replaced nsIEditor with Orion editor from devtools
18 files changed:
chrome/controllers.js
chrome/explorer.js
chrome/explorer.xul
chrome/modules/debuglog.js [new file with mode: 0644]
chrome/orion/orion/LICENSE [new file with mode: 0644]
chrome/orion/orion/README [new file with mode: 0644]
chrome/orion/orion/UPGRADE [new file with mode: 0644]
chrome/orion/orion/orion.css [new file with mode: 0644]
chrome/orion/orion/orion.js [new file with mode: 0644]
chrome/orion/source-editor-orion.js [new file with mode: 0644]
chrome/orion/source-editor-overlay.xul [new file with mode: 0644]
chrome/orion/source-editor-ui.js [new file with mode: 0644]
chrome/orion/source-editor.js [new file with mode: 0644]
chrome/orion/sourceeditor.dtd [new file with mode: 0644]
chrome/orion/sourceeditor.properties [new file with mode: 0644]
chrome/utils/dlog.js
defaults/preferences/explorer-prefs.js [deleted file]
defaults/preferences/explorer.js