Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Scale down |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
45f34d2267b5f39c8e302b102b18565b |
| User & Date: | bernd 2019-06-04 00:42:13 |
Context
|
2019-06-04
| ||
| 23:30 | A threefish-based approach at vault key storage check-in: ae70f6a3f5 user: bernd tags: trunk | |
| 00:42 | Scale down check-in: 45f34d2267 user: bernd tags: trunk | |
|
2019-05-30
| ||
| 23:51 | Add correct group to newly added/blocked users check-in: ada3faa9e3 user: bernd tags: trunk | |
Changes
Changes to gui.fs.
25 25 26 26 : slide-frame ( glue color -- o ) 27 27 font-size# 70% f* }}frame ; 28 28 : bar-frame ( glue color -- o ) 29 29 font-size# 20% f* }}frame dup .button3 ; 30 30 : update-size# ( -- ) 31 31 screen-pwh max s>f 32 - default-diag screen-diag f/ fsqrt default-scale f* 1/f #48 fm* 32 + default-diag screen-diag f/ fsqrt default-scale f* 1/f #64 fm* 33 33 f/ fround to font-size# 34 34 font-size# 133% f* fround to baseline# 35 35 font-size# 32e f/ to pixelsize# ; 36 36 37 37 update-size# 38 38 39 39 require minos2/text-style.fs