search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
717 stars 122 forks source link

Strange behaviour of editor #54

Closed esb-dev closed 1 year ago

esb-dev commented 6 years ago

The cursor is one character to the right from the position that's actually changed.

Example:

My text  |
         ^here is the cursor

Now I type the next word "is" and the result is:

My textis |

The blank after "text" disappears and is now after "is"

Environment: MacOSX 10.13.4

esb-dev commented 6 years ago

A bit playing with the preferences in Alloy:

The mentioned problem occurs if the Font family 'Lucida Sans Typewriter' is chosen. If I change the font family to 'Menlo' e.g., the problem is gone.

pkriens commented 1 year ago

Closing for no specific fix