Show config option names in config manager

This patch outputs the config name in the config manager (instead of using a title
tag) which makes it easier to search (ctrl-f) for a specific option.

darcs-hash:20070629210648-7ad00-0e2a689b04c747298ee50b20bce287069393a84b.gz

1 files changed, 7 insertions, 1 deletions

diff --git a/lib/plugins/config/settings/config.class.php b/lib/plugins/config/settings/config.class.php
index 1a116cb34..909cc01de 100644
--- a/lib/plugins/config/settings/config.class.php
+++ b/lib/plugins/config/settings/config.class.php
@@ -412,7 +412,13 @@ if (!class_exists('setting')) {
     function is_default() { return !$this->is_protected() && is_null($this->_local); }
     function error() { return $this->_error; }
 
-    function _out_key() { return str_replace(CM_KEYMARKER,"']['",$this->_key); }
+    function _out_key($pretty=false) {
+        if($pretty){
+            return str_replace(CM_KEYMARKER,"»",$this->_key);
+        }else{
+            return str_replace(CM_KEYMARKER,"']['",$this->_key);
+        }
+    }
   }
 }