On Windows 7 (I will try Windows 8 later), the cursor position is completely off on the "Try Lean" page.
See the position of the cursor in the following snapshot:
Now suppose we type "12345". Here is the result
The problem happens when I use Chrome or Firefox.
The weird thing is that the tutorial page is fine. The ACE editor seems to use a different font in the tutorial page. See the following snapshop:
On Windows 7 (I will try Windows 8 later), the cursor position is completely off on the "Try Lean" page.
See the position of the cursor in the following snapshot:
Now suppose we type "12345". Here is the result
The problem happens when I use Chrome or Firefox. The weird thing is that the tutorial page is fine. The ACE editor seems to use a different font in the tutorial page. See the following snapshop:
The problem does not happen on Linux + Chrome.