Searched refs:variable (Results 1 – 4 of 4) sorted by relevance
811 toggleOption: function (variable) {813 DokuCookie.setValue(variable, 1);814 dw_mediamanager[variable] = true;816 DokuCookie.setValue(variable, '');817 dw_mediamanager[variable] = false;819 if (variable === 'hide') {
106 terminal width on its own. It can be overwritten by setting a ``COLUMNS`` environment variable.
176 * Make variable handling compatible to PHP (SF#3489142, BenBE)285 * Fixed a problem with variable names in Prolog (BenBE)410 - Fixed an undefined variable issue in langcheck.php (BenBE)447 i.e. the dest was highlighted as variable declaration (milian)757 - Fix incorrect highlighting of the $# variable in bash (Michael Knight)