Ah. case-insensitive is a button that _lights up_ when on, rather than text togg...

		xtiansimon on Oct 29, 2023 \| parent \| context \| favorite \| on: Ashby's book "Introduction to Cybernetics" (2003) Ah. case-insensitive is a button that _lights up_ when on, rather than text toggle, because it doesn’t have a triangle icon. I was responding on my phone.