Gareth Smith 2ad5012732 Give various widgets a readOnly mode (#93) ... * Give various widgets a readOnly mode This mode allows text to be selected (and copied), but does not allow editing. See issue #87 * Use a neater readOnly to editable conversion.		2022-03-07 16:30:28 -03:00
..
Monomer	Give various widgets a readOnly mode (#93)	2022-03-07 16:30:28 -03:00
Spec.hs	Add optionButton and toggleButton widgets (#36)	2021-10-28 15:23:42 -03:00