added class for headline picker

Ignore-this: 6aee01f1e872490512480ff8cac566be

darcs-hash:20090827142929-6e07b-2aba4d2ac75c870f0c6e4ec903ec3c9ce5863842.gz

inc/toolbar.php

@@ -100,6 +100,7 @@ function toolbar_JSdefines($varname){
                 'type'   => 'picker',
                 'title'  => $lang['qb_hs'],
                 'icon'   => 'h.png',
+                'class'  => 'pk_hl',
                 'list'   => array(
                                array(
                                     'type'   => 'format',

lib/scripts/edit.js

@@ -61,7 +61,10 @@ function createPicker(id,props,edid){
 
     // create the wrapping div
     var picker            = document.createElement('div');
-    picker.className      = 'picker '+props['class'];
+    picker.className      = 'picker';
+    if(props['class']){
+        picker.className += ' '+props['class'];
+    }
     picker.id             = id;
     picker.style.position = 'absolute';
     picker.style.display  = 'none';

lib/tpl/default/design.css

@@ -797,6 +797,10 @@ div.picker {
   background-color: __background_alt__;
 }
 
+div.pk_hl {
+  width: 125px;
+}
+
 button.pickerbutton {
   padding: 0px;
   margin: 0 1px 1px 0;