4,494
edits
Fonts: Difference between revisions
Jump to navigation
Jump to search
m
→Changing font in Dyalog RIDE
| Line 154: | Line 154: | ||
== 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, | [[Dyalog Ltd]]'s cross-platform RIDE interface, which is the default GUI interface on all non-Windows platforms, did not expose a font setting until version 4.5. However, it is trivial to change font: | ||
* Open ride-base.css[[#loc|*]] | * Open ride-base.css[[#loc|*]] | ||
* Find the line that says <syntaxhighlight lang=css inline>src: url('./fonts/Apl385.woff') format('woff'), url('./fonts/Apl385.ttf') format('truetype');</syntaxhighlight> | * Find the line that says <syntaxhighlight lang=css inline>src: url('./fonts/Apl385.woff') format('woff'), url('./fonts/Apl385.ttf') format('truetype');</syntaxhighlight> | ||