Replies: 8 comments 11 replies
-
Is there documentation somewhere on what ^A through ^F actually mean? |
Beta Was this translation helpful? Give feedback.
-
It seems to come from
There seems to be a subscript and a superscript font as well -- I don't think these can show up in prettyprinted files. ^F (character code 6) is the font change introducer, the next byte is an index into a FONTSET which gives you a FONTCLASS, which gives you the display, press, interpress, and "other" fonts. The "other" fonts is a ALIST which may include, for example, ((POSTSCRIPT TERMINAL 6)), for the "tinyfont". The fonts I quote above are from the (FONTSET 'STANDARD) -- you can change the fonts through FONTSET names including BIGGER, MEDIUM, STANDARD, BIG, HUGE and you can create your own if you desire which would change the presentation through things like the "PP" command. |
Beta Was this translation helpful? Give feedback.
-
It's actually already documented in the IRM I/O volume, pages 24-20
through 24-23, if you know where to look.
Which version is that? The DInfo that comes with Medley only goes up to 24-18 :-/
Thanks for any help with this!
Greetings,
Peter
|
Beta Was this translation helpful? Give feedback.
-
On the website -- https://interlisp.org <https://interlisp.org/> at Interlisp Reference Manual <https://interlisp.org/docs/IRM.pdf>
…-- Nick
On Feb 12, 2021, at 11:18 AM, ecraven ***@***.***> wrote:
> It's actually already documented in the IRM I/O volume, pages 24-20
> through 24-23, if you know where to look.
Which version is that? The DInfo that comes with Medley only goes up to 24-18 :-/
Thanks for any help with this!
Greetings,
Peter
—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub <#180 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AB6DAWLUL5SGAS3FXN7FWRTS6V5IDANCNFSM4XPPL3KQ>.
|
Beta Was this translation helpful? Give feedback.
-
BTW -- Page numbers may be different in the DInfo version -- look for the documentation for "PRINTOUT"
… On Feb 12, 2021, at 11:18 AM, ecraven ***@***.***> wrote:
> It's actually already documented in the IRM I/O volume, pages 24-20
> through 24-23, if you know where to look.
Which version is that? The DInfo that comes with Medley only goes up to 24-18 :-/
Thanks for any help with this!
Greetings,
Peter
—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub <#180 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AB6DAWLUL5SGAS3FXN7FWRTS6V5IDANCNFSM4XPPL3KQ>.
|
Beta Was this translation helpful? Give feedback.
-
BTW -- Page numbers may be different in the DInfo version -- look for the documentation for "PRINTOUT"
Thanks a lot! With TYPE on the exec, I found out the following
(apologies if all this is already known):
TYPE in an Interlisp Exec will print things nicely marked up. You can
use it to print files. I created a file containing different sorts of
markup, see the results attached as an image.
- ^A is the normal font
- ^B is the same size, but bold (and a bit more condensed)
- ^C is a smaller font
- ^D is a larger bold font
- ^E is a wider sans-serif font
- ^F is an even smaller font (or more condensed?)
- ^G is a narrower serif font
Thanks for all the hints on how to find this out, I'll go looking for
the exact places where these are *printed* later ;) I tried up to ^K,
but nothing more interesting happened ;)
![maim](https://user-images.githubusercontent.com/215510/107819749-f1cac400-6d79-11eb-9565-3c735fb48e49.png)
|
Beta Was this translation helpful? Give feedback.
-
On Feb 12, 2021, at 12:32 PM, ecraven ***@***.***> wrote:
> BTW -- Page numbers may be different in the DInfo version -- look for the documentation for "PRINTOUT"
Thanks a lot! With TYPE on the exec, I found out the following
(apologies if all this is already known):
TYPE in an Interlisp Exec will print things nicely marked up. You can
use it to print files. I created a file containing different sorts of
markup, see the results attached as an image.
- ^A is the normal font
- ^B is the same size, but bold (and a bit more condensed)
- ^C is a smaller font
- ^D is a larger bold font
- ^E is a wider sans-serif font
- ^F is an even smaller font (or more condensed?)
- ^G is a narrower serif font
They're not prescriptive in the way you're suggesting... IF you happen to be using the "STANDARD" font set and haven't changed any components of it (which you can trivially do) THEN those would be the results. However "^F^C" doesn't mean "a smaller font", it means "Font #3, of the current font set, whatever that might be at the time you display the text" (it's dynamically bound). You can look at the pretty printer to see how it uses font numbers 1..6, (which were the names that I mentioned, such as lambda, comment)
…
Thanks for all the hints on how to find this out, I'll go looking for
the exact places where these are *printed* later ;) I tried up to ^K,
but nothing more interesting happened ;)
—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub <#180 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AB6DAWISPVXTSCFYMUUUT33S6WF4XANCNFSM4XPPL3KQ>.
|
Beta Was this translation helpful? Give feedback.
-
I think this discussion belongs in the Wiki with a pointer from the Medley repo README (where it talks about what files are where) |
Beta Was this translation helpful? Give feedback.
-
Since the discussion has mainly been about font set documentation and not about MAKEINIT, I started a new Discussion #185
Beta Was this translation helpful? Give feedback.
All reactions