function mirrorTool(editor) {
"use strict";
var mirror;
mirror = false;
function init() {
mirror = !mirror;
editor.setMirror(mirror);
return false;
}
function isEnabled() {
return mirror;
}
function toString() {
return "Mirror: " + (mirror ? "On" : "Off");
}
return {
"init": init,
"toString": toString,
"isEnabled": isEnabled,
"uid": "mirror"
};
}
AnsiEditController.addTool(mirrorTool, "tools-right", 109);