Changeset 3138 for branches/2.2.2/www/my_base/user/preferences.jsp

Timestamp:

Feb 20, 2007, 8:34:13 AM (17 years ago)

Author:

Nicklas Nordborg

Message:

Fixes #497: Floating point numbers with leading zeroes in the decimal part are not correctly displayed

Also added an option in the File/Preferences?... dialog to allow a user to specify the number
of decimals to display. This solves the 0.004 issue. Another (better) solution would be to make
it possible to specify a default number of decimals to display for each annotation type. But it
requires a lot more work and should be a tast of it's own.

File:

• branches/2.2.2/www/my_base/user/preferences.jsp (modified) (1 diff)

branches/2.2.2/www/my_base/user/preferences.jsp

@@ -390 +390 @@
       </td>
     </tr>
+    <%
+    int numDecimals = FormatterSettings.getNumDecimals(sc);
+    %>
+    <tr>
+      <td class="prompt">Decimals</td>
+      <td>
+        <select name="decimals">
+        <%
+        for (int i = 0; i < 8; i++)
+        {
+          %>
+          <option value="<%=i%>" <%=numDecimals == i ? "selected" : ""%>><%=i%>
+          <%
+        }
+        %>
+        <option value="-1" <%=numDecimals < 0 ? "selected" : ""%>>all
+        </select>
+      </td>
+    </tr>
     
     </table>