Selected text is not highlighted in the Evaluator

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

694 stars 123 forks source link

Selected text is not highlighted in the Evaluator #221

Closed grayswandyr closed 3 months ago

grayswandyr commented 1 year ago

When selecting text of previous commands in the Evaluator (using double-click), the selection isn't highlighted (but does work as you can, e.g. copy paste the said text with ctrl+C/ctrl+V).

pkriens commented 1 year ago

A4 or CLI evaluator? If it is the CLI, that would depend on your shell?

grayswandyr commented 1 year ago

Evaluator.

pkriens commented 1 year ago

LOL, we have an Evaluator in A4 and one in the CLI .... I assume you mean the A4 evaluator?

grayswandyr commented 1 year ago

Sorry, too fast copy-paste. Evaluator in A4. I suggest we call the CLI one "Alloy Shell" to avoid ambiguities.

nmacedo commented 3 months ago

Is this what you mean? Seems to work on my machine (mac).

grayswandyr commented 3 months ago

Yes. This must be yet another UI issue with the GNU/Linux version then. Let's close this then, thanks for considering the issue.