Home
last modified time | relevance | path

Searched refs:removeGutterDecoration (Results 1 – 1 of 1) sorted by relevance

/plugin/aceeditor/
H A Dbuild.js1removeGutterDecoration=function(e,t){this.$decorations[e]=(this.$decorations[e]||"").replace(" "+t… function