[isabelle-dev] Isabelle_10-Sep-2013

Makarius makarius at sketis.net
Wed Sep 11 12:43:21 CEST 2013


On Wed, 11 Sep 2013, C. Diekmann wrote:

> when I select something in jedit with the mouse, it gets green and I 
> cannot deselect it.

This sounds like "Multiple Selection" mode of jEdit.  Maybe you have 
just activated it by accident.  See also the menu "Edit / More Selection".


 	Makarius



More information about the isabelle-dev mailing list