hchapman / tikzedt

Automatically exported from code.google.com/p/tikzedt

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

grid size display is rounding the value

GoogleCodeExporter opened this issue · comments

What steps will reproduce the problem?
1. choose a grid size with two digits after the decimal separator (e.g. 0.25)
2. press enter
3. see that 0.25 is rounded to 0.3 (however, the 0.25 is applied correctly, the 
grid is 0.25)

What is the expected output? What do you see instead?

expected: 0.25
seen: 0.3


What operating system and Latex distribution (Miktex/Texlive) are you
using?
Texlive under ubuntu linux 14.04 x64


Please provide any additional information below.
TikzEdt_0_2_2_linux_amd64 is used

Original issue reported on code.google.com by francois...@gmail.com on 19 Jun 2014 at 12:47