--- rat/client/parameter.html	2001/08/08 16:41:28	1.13
+++ rat/client/parameter.html	2001/08/08 18:36:24	1.14
@@ -366,15 +366,6 @@ function draw() {
             }
          }
       }
-      if (pscat=='sigdigits') {
-         tablestart('Agreement on significant digits');
-  choicewrite('<tr bgcolor="#AAFFAA"><td colspan=3>Number of digits: '
-             +'<input type=text size=4 name=val2></td></tr>');
-
-choicewrite('<tr bgcolor="#AAFFAA"><td colspan=3>Accept if more digits given: '
-             +'<input type=checkbox name=val3></td></tr>');
-         
-      }
    }
 
    if (ptype=='date') {
@@ -414,8 +405,24 @@ choicewrite('<tr bgcolor="#AAFFAA"><td c
    if (ptype=='int') {
       if (pscat=='default') {
          tablestart('Default value or none');
-         choicewrite('</table>');         
+         choicewrite('</table>');
       } else {
+       if (pscat=='range') {
+         tablestart('Integer range');      
+         choicewrite('<tr bgcolor="#AAFFAA"><td>Lower Value:'+
+              '</td><td colspan=2><input type=text size=4 name=val2'+
+              '></td></tr>');
+         choicewrite('<tr bgcolor="#AAFFAA"><td>Upper Value:'+
+              '</td><td colspan=2><input type=text size=4 name=val4'+
+              '></td></tr></table>');
+         var range=new Array;
+         if ((svalue!='') && (typeof(svalue)!="undefined")) {
+            range=svalue.split(',');
+            if (typeof(range[1])=='undefined') { range[1]=range[0]; }
+            choices.document.forms.sch.val2.value=parseInt(range[0]);
+            choices.document.forms.sch.val4.value=parseInt(range[1]);
+         }
+       } else {
         if (pscat=='pos') {
            tablestart('Positive (non-zero) integer');
         }
@@ -427,9 +434,6 @@ choicewrite('<tr bgcolor="#AAFFAA"><td c
            rangeparts=split(',',pscat);
            tablestart('Integer in the range ['+rangeparts[1]+']');
         }
-        if (pscat=='range') {
-           tablestart('Integer range');      
-        }
         if (pscat=='any') {
            tablestart('Integer');
         }
@@ -438,6 +442,7 @@ choicewrite('<tr bgcolor="#AAFFAA"><td c
                     '" name=intval onChange="parent.integereval()">');
         choicewrite('</td></table>');
       }
+     }
    }
 
    if (ptype=='float') {
@@ -532,6 +537,10 @@ function assemble() {
           }
        }
     }
+    if ((ptype=='int') && (pscat=='range')) {
+          svalue=choices.document.forms.sch.val2.value+','+
+                 choices.document.forms.sch.val4.value;
+    }
     if (pscat=='default') { svalue=''; }
     stype=ptype+'_'+pscat;
 }