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.762 |
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 26 27 28 29 30 31 | 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | - + |
: slide-frame ( glue color -- o )
font-size# 70% f* }}frame ;
: bar-frame ( glue color -- o )
font-size# 20% f* }}frame dup .button3 ;
: update-size# ( -- )
screen-pwh max s>f
|
| ︙ |