Searched refs:type_defaut (Results 1 – 1 of 1) sorted by relevance
39 var $type_defaut = 'konsoleuser'; variable in syntax_plugin_konsole102 return array($state,$this->type_defaut);