Home
last modified time | relevance | path

Searched defs:ungroup (Results 1 – 6 of 6) sorted by relevance

/plugin/jdraw/src/com/mxgraph/examples/swing/resources/
H A Deditor_zh-CN.properties93 ungroup=Ungroup key
H A Deditor.properties96 ungroup=Ungroup key
H A Deditor_de.properties100 ungroup=Gruppe aufheben key
/plugin/combo/resources/dictionary/
H A Dicomoon-icons.json347 "ungroup": "346-ungroup", string
/plugin/highlightjs/highlight/languages/
H A Dmel.js17 …ab': 1, 'addPP': 1, 'addPanelCategory': 1, 'addPrefixToName': 1, 'advanceToNextDrivenKey': 1, 'aff…
/plugin/highlightjs/highlight/
H A Dhighlight.pack.js1 …</gm,"&lt;").replace(/>/gm,"&gt;")}function k(s,r){if(!s){return false}for(var c=0;c<s.length;c++)… class in hljs.LANGUAGES.bash