add tooltip for token under the mouse

helps building modes and themes
This commit is contained in:
nightwing 2012-09-30 00:36:03 +04:00
commit 5630688576
3 changed files with 202 additions and 2 deletions

View file

@ -61,11 +61,11 @@ var MultiSelect = require("ace/multi_select").MultiSelect;
var doclist = require("./doclist");
var modelist = require("./modelist");
var layout = require("./layout");
var Autocompleter = require("./autocompleter").Autocompleter;
var TokenTooltip = require("./token_tooltip").TokenTooltip;
var util = require("./util");
var saveOption = util.saveOption;
var fillDropdown = util.fillDropdown;
var bindCheckbox = util.bindCheckbox
var bindCheckbox = util.bindCheckbox;
var bindDropdown = util.bindDropdown;
/*********** create editor ***************************/
@ -389,6 +389,15 @@ bindDropdown("split", function(value) {
}
});
bindCheckbox("highlight_token", function(checked) {
var editor = env.editor;
if (editor.tokenTooltip && !checked) {
editor.tokenTooltip.destroy();
delete editor.tokenTooltip;
} else if (checked) {
editor.tokenTooltip = new TokenTooltip(editor);
}
});
/************** dragover ***************************/
event.addListener(container, "dragover", function(e) {