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 Unified Diffs Show Whitespace Changes Patch

Changes to gui.fs.

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
    default-diag screen-diag f/ fsqrt default-scale f* 1/f #48 fm*
    f/ fround to font-size#
    font-size# 133% f* fround to baseline#
    font-size# 32e f/ to pixelsize# ;

update-size#

require minos2/text-style.fs







|







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
    default-diag screen-diag f/ fsqrt 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# ;

update-size#

require minos2/text-style.fs