Ignore:
Timestamp:
Feb 20, 2007, 8:34:13 AM (15 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:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/2.2.2/www/my_base/user/preferences.jsp

    r2978 r3138  
    390390      </td>
    391391    </tr>
     392    <%
     393    int numDecimals = FormatterSettings.getNumDecimals(sc);
     394    %>
     395    <tr>
     396      <td class="prompt">Decimals</td>
     397      <td>
     398        <select name="decimals">
     399        <%
     400        for (int i = 0; i < 8; i++)
     401        {
     402          %>
     403          <option value="<%=i%>" <%=numDecimals == i ? "selected" : ""%>><%=i%>
     404          <%
     405        }
     406        %>
     407        <option value="-1" <%=numDecimals < 0 ? "selected" : ""%>>all
     408        </select>
     409      </td>
     410    </tr>
    392411   
    393412    </table>
Note: See TracChangeset for help on using the changeset viewer.