Re: [isabelle] Isabelle2013-RC3 available for testing



Le Thu, 07 Feb 2013 13:51:03 +0100, Makarius <makarius at sketis.net> a écrit:
* Everybody: please check if you can scale the Isabelle/jEdit font-size
     up and down like in Firefox (C-PLUS/MINUS or C-ADD/SUBTRACT on the
     keypad).

I'm running Isabelle on a laptop without a numpad, but still give it a try: here, C‑MINUS do decreases the font size, but C‑PLUS do not increases the font size (this one do nothing).


--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.