@@ -173,11 +173,6 @@ class ShowHoverAction extends EditorAction {
}
// theming
exportconsteditorHoverHighlight=registerColor('editor.hoverHighlightBackground',{light:'#ADD6FF26',dark:'#264f7840',hc:'#ADD6FF26'},nls.localize('hoverHighlight','Highlight below the word for which a hover is shown.'));
exportconsteditorHoverBackground=registerColor('editorHoverWidget.background',{light:'#F3F3F3',dark:'#2D2D30',hc:'#0C141F'},nls.localize('hoverBackground','Background color of the editor hover.'));
exportconsteditorHoverBorder=registerColor('editorHoverWidget.border',{light:'#CCCCCC',dark:'#555555',hc:'#CCCCCC'},nls.localize('hoverBorder','Border color of the editor hover.'));
exportconsteditorFindMatchHighlight=registerColor('editor.findMatchHighlightBackground',{light:'#EA5C0055',dark:'#EA5C0055',hc:null},nls.localize('findMatchHighlight',"Color of the other search matches."));
exportconsteditorFindRangeHighlight=registerColor('editor.findRangeHighlightBackground',{dark:'#3a3d4166',light:'#b4b4b44d',hc:null},nls.localize('findRangeHighlight',"Color the range limiting the search."));
/**
* Editor hover
*/
exportconsteditorHoverHighlight=registerColor('editor.hoverHighlightBackground',{light:'#ADD6FF26',dark:'#264f7840',hc:'#ADD6FF26'},nls.localize('hoverHighlight','Highlight below the word for which a hover is shown.'));
exportconsteditorHoverBackground=registerColor('editorHoverWidget.background',{light:'#F3F3F3',dark:'#2D2D30',hc:'#0C141F'},nls.localize('hoverBackground','Background color of the editor hover.'));
exportconsteditorHoverBorder=registerColor('editorHoverWidget.border',{light:'#CCCCCC',dark:'#555555',hc:'#CCCCCC'},nls.localize('hoverBorder','Border color of the editor hover.'));