ui.backend.gtk: hi-res icon awesomeness
parent
d16e4272b2
commit
2c8b2d9bf5
|
@ -8,6 +8,6 @@ CONSTANT: get-icon-data
|
||||||
$[
|
$[
|
||||||
deploy-vocab get
|
deploy-vocab get
|
||||||
dup vocab-dir "icon.png" append-path vocab-append-path
|
dup vocab-dir "icon.png" append-path vocab-append-path
|
||||||
[ exists? ] keep "resource:misc/icons/Factor_48x48.png" ?
|
[ exists? ] keep "resource:misc/icons/Factor_128x128.png" ?
|
||||||
binary file-contents
|
binary file-contents
|
||||||
]
|
]
|
||||||
|
|
|
@ -219,7 +219,7 @@ CONSTANT: action-key-codes
|
||||||
! in the docs and tools.deploy.shaker.gtk-icon
|
! in the docs and tools.deploy.shaker.gtk-icon
|
||||||
: get-icon-data ( -- byte-array/f )
|
: get-icon-data ( -- byte-array/f )
|
||||||
[
|
[
|
||||||
"resource:misc/icons/Factor_48x48.png" binary file-contents
|
"resource:misc/icons/Factor_128x128.png" binary file-contents
|
||||||
] [ drop f ] recover ;
|
] [ drop f ] recover ;
|
||||||
|
|
||||||
: load-icon ( -- )
|
: load-icon ( -- )
|
||||||
|
|
Loading…
Reference in New Issue