Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | Chante update-size to use a slightly smaller power than square root for size |
---|---|
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
58e9376a197642b3137292a875d8667c |
User & Date: | bernd 2019-09-05 20:39:08.612 |
Context
2019-09-06
| ||
15:12 | Make presentations run under current MINOS2 check-in: 958b568710 user: bernd tags: trunk | |
2019-09-05
| ||
20:39 | Chante update-size to use a slightly smaller power than square root for size check-in: 58e9376a19 user: bernd tags: trunk | |
2019-08-30
| ||
21:57 | Fix disabling IPv6 check-in: 6ed16db24a user: bernd tags: trunk | |
Changes
Changes to gui.fs.
︙ | ︙ | |||
23 24 25 26 27 28 29 | require minos2/font-style.fs : slide-frame ( glue color -- o ) font-size# 70% f* }}frame ; : bar-frame ( glue color -- o ) font-size# 20% f* }}frame dup .button3 ; | | | > > < < > > | 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 | require minos2/font-style.fs : slide-frame ( glue color -- o ) font-size# 70% f* }}frame ; : bar-frame ( glue color -- o ) font-size# 20% f* }}frame dup .button3 ; : update-gsize# ( -- ) screen-pwh max s>f default-diag screen-diag f/ [ 5e fsqrt 1e f+ f2/ 1e f- ] FLiteral f** default-scale f* 1/f #64 fm* f/ fround to font-size# font-size# 133% f* fround to baseline# font-size# 32e f/ to pixelsize# ; require minos2/text-style.fs require minos2/md-viewer.fs update-gsize# glue new Constant glue-sleft glue new Constant glue-sright glue ' new static-a with-allocater Constant glue-left glue ' new static-a with-allocater Constant glue-right : glue0 ( -- ) 0e fdup |
︙ | ︙ |