Re: Charcter size
Jan Wielemaker <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Dear Heinz, Please keep discussions on the list. Others can find it and it is pretty likely others can give suggestions. I know very little about Macs. On 03/26/2014 02:07 PM, Heinz Schild wrote: > Closing and opening swipl-win unfortunately does not solve the > problem. Maybe chances brought by the version 10.9.2 of OSX are > causing it. I don't know, but possibly other Mac users can comment. --- Jan > Regards Heinz Schild > Am 26.03.2014 um 12:50 schrieb Jan Wielemaker <[email protected]>: > >> On 03/26/2014 12:28 PM, Heinz Schild wrote: >>> After clicking on the SWI-Prolog icon ( red owl) in the application >>> folder, the window <swipl-win> opens. Clicking on <swipl-win> a menu >>> opens consisting of 4 items but none called setting. >> >> There should be menus "File", "Edit", "Settings", "Run", "Debug" and "Help". I've seen it happen a few times that the menu does not show >> up. Closing and opening the application then gives a menu for me. >> Dunno why this is. I'm not an Apple user (only have an old Mac for >> compiling and some simple tests). >> >> Cheers --- Jan >> >>> >>> Am 26.03.2014 um 12:07 schrieb Jan Wielemaker <[email protected]>: >>> >>>> On 03/26/2014 12:04 PM, Heinz Schild wrote: >>>>> Thank you for your prompt response. >>>>> >>>>> What <Setting/fonts> do you mean? Setting fonts under OSX by <Text Edit >>>>> cmd-T> does not work. >>>> >>>> ??? I'm not an apple user. I assume you refer to the console window that pops up if you open SWI-Prolog.app? That has a menu called `Settings' with an entry called `Font'. >>>> >>>>> I am familiar with 2 programming environment for iPad: one is J which is >>>>> a modern version of APL, and the other is Pixie Schema III which is a >>>>> version of Schema. >>>> >>>> Interesting ... >>>> >>>> Cheers --- Jan >>>> >>>>> >>>>> Regrads Heinz Schild >>>>> >>>>> Am 26.03.2014 um 09:51 schrieb Jan Wielemaker <[email protected] >>>>> <mailto:[email protected]>>: >>>>> >>>>>> Settings/font >>>>> >>>> >>> >> >