Changeset 12030 for trunk

Timestamp:

09/08/11 12:55:15 (13 years ago)

Author:

Daniela Dorner

Message:

improved layout

File:

• trunk/www/db_po/po.js (modified) (5 diffs)

trunk/www/db_po/po.js

@@ -188 +188 @@
     //field descr
     input4 = document.createElement("INPUT");
-    input4.style.width = 200;
+    input4.style.width = 300;
     input4.id = 'newdescr0';
     switch(addcase)
@@ -201 +201 @@
         //fields for keys
         input2 = document.createElement("INPUT");
-        input2.style.width = 100;
+        input2.style.width = 200;
         input2.id = '1key0';
         cell2.appendChild(input2);
@@ -261 +261 @@
         input2 = document.createElement("INPUT");
         input2.id = '1key0';
-        input2.style.width = 100;
+        input2.style.width = 200;
         if (key1)
             input2.value = key1;
@@ -337 +337 @@
         //field for val
         input3 = document.createElement("INPUT");
-        input3.style.width = 100;
+        input3.style.width = 200;
         input3.id = 'newval0';
         cell3.appendChild(input3);
@@ -470 +470 @@
     }
     else
-        textval="<input align='right' id='newval"+index+"' value='"+oldval+"'>";
+        textval="<input size='30' align='right' id='newval"+index+"' value='"+oldval+"'>";
     document.getElementById('val'+index).innerHTML = textval;
     //set field for description
-    document.getElementById('descr'+index).innerHTML = "<input align='right' id='newdescr"+index+"' value='"+olddescr+"'>";
-    // added to make min/max editable
-    document.getElementById('min'+index).innerHTML = "<input align='right' id='newmin"+index+"' value='"+oldmin+"'>";
-    document.getElementById('max'+index).innerHTML = "<input align='right' id='newmax"+index+"' value='"+oldmax+"'>";
+    document.getElementById('descr'+index).innerHTML = "<input size='40' align='right' id='newdescr"+index+"' value='"+olddescr+"'>";
+    if (oldtype=='int' || oldtype=='float')
+    {
+        document.getElementById('min'+index).innerHTML = "<input size='5' align='right' id='newmin"+index+"' value='"+oldmin+"'>";
+        document.getElementById('max'+index).innerHTML = "<input size='5' align='right' id='newmax"+index+"' value='"+oldmax+"'>";
+    }
     /*
     //set field for type