Check-in [45f34d2267]
Not logged in

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: 45f34d2267b5f39c8e302b102b18565bd80cdecc
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
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

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