4,494
edits
Fonts: Difference between revisions
Jump to navigation
Jump to search
→Changing font in Dyalog RIDE
| Line 106: | Line 106: | ||
== Changing font in Dyalog RIDE == | == Changing font in Dyalog RIDE == | ||
[[Dyalog Ltd]]'s cross-platform RIDE interface, which is the default GUI interface on all non-Windows platforms, does not expose a font setting. However, it is trivial to change font: | [[Dyalog Ltd]]'s cross-platform RIDE interface, which is the default GUI interface on all non-Windows platforms, does not expose a font setting. However, it is trivial to change font: | ||
<ol><li>Open…<ul> | |||
<li>on Windows: %LOCALAPPDATA%\Programs\Dyalog\Ride-4.4\resources\app\style\ride-base.css | |||
<li>on Linux: /opt/ride-4.3/resources/app/style/ride-base.css | |||
</ul> | |||
<li>Find the line that says <source lang=css inline>src: url('./fonts/Apl385.woff') format('woff'), url('./fonts/Apl385.ttf') format('truetype');</source> | |||
<li>Insert <source lang=css inline>local('font name'),</source> immediately after <source lang=css inline>src:</source>, for example <source lang=css inline>src: local('SAX2'), url('./fonts/Apl385.woff') format('woff'), url('./fonts/Apl385.ttf') format('truetype');</source> | |||
<li>Restart RIDE | |||
</ul> | |||
== References == | == References == | ||
<references/> | <references/> | ||
{{APL development}}[[Category:APL character set]][[Category:Lists]] | {{APL development}}[[Category:APL character set]][[Category:Lists]] | ||