Comments (10)
Thank so much!!!
from juliamono.
I want everyone to use JuliaMono instead of Roboto Mono :)
Awesome - if a bit scary... :)
I'll investigate how to do it.
from juliamono.
I made a smaller version called JuliaMono-RegularLatin which has the bare minimum of glyphs and is much smaller. You could compare this versus doing the unicode range subsetting in CSS.
I can easily include add any glyphs that you must have to -RegularLatin
...
from juliamono.
Yes. :)
from juliamono.
@fonsp Thanks so much - I'm very happy about this... :)
from juliamono.
Yes the size is very large now that I switched to TrueType... They're nearly twice as large as the OTF/PostScript versions. :(
Are you thinking to use the Unicode range option for @font-face
+ WOFF2 fonts that restricts the download to a subset of glyphs, then switch to a complete subset later? Might be possible for CSS wizards...
I'm wondering if you access fonts installed inside the package - kind of like how applications use their own fonts because they were installed as part of the application bundle?
Alternatively or aditionally you could make it easy for people to select the font in Pluto (they could install it themselves for general use in the REPL and then choose it for Pluto).
I think it would be straightforward to make a latin (MacRoman/Windows1252) version. Copy and paste is easy enough, there might be ways I could automate it too). Will investigate.
from juliamono.
About hot-swapping: I thought that we can just load two fonts: "JuliaMono" and "JuliaMono-latin". The second one will load sooner because it is smaller, and then in the CSS:
code {
font-family: "JuliaMono", "JuliaMono-latin", monospace;
}
When you open Pluto for the second time it will load near instantaneously - it uses a service worker to cache all assets inside the browser.
I don't want to make it an option - I want everyone to use JuliaMono instead of Roboto Mono :)
from juliamono.
Just being able to extract a latin subset would already be a huge help! I think the hot-swapping & CSS font loading is something that I need to learn about anyways, because Pluto also uses some other fonts that also need better loading strategies. So don't spend too much time on it!
from juliamono.
Can you also make a Latin subset of the Bold variant? ☺
from juliamono.
Pluto 0.12.0
will use JuliaMono! I'm using it already and it looks delightful
from juliamono.
Related Issues (20)
- ≺ (`\prec`) hard to distinguish from less-than HOT 8
- small case "r" looks wierd HOT 3
- Does not respect unicode RIGHT-TO-LEFT OVERRIDE, for some glyphs HOT 8
- Glyph shape of 2 Cyrillic Ext-C characters (U+1C81, U+1C85) HOT 2
- Unpaired parentheses in CHANGELOG.md HOT 5
- Remove v0.5.1 tag HOT 3
- Add support for `\dot (U+0307)` for numbers HOT 4
- "SS20" (splashtidy) does not work in general cases HOT 5
- Daggers too similar? HOT 3
- Combining characters with lower case j doesn't always render the combining character for some glyphs. HOT 8
- Request for 450 font weight HOT 2
- Emoji Presentation for Julia Logo HOT 9
- wedge/bigwedge and vee/bigvee too similar? HOT 2
- Mystery spacing issues HOT 7
- Interrobang glyph is incorrect HOT 7
- Possible alternate variant of small letter "l" with stylistic set? HOT 18
- Problem with CJK glyphs HOT 5
- Take down the "JuliaMono julia manual" since it pollutes google search? HOT 3
- Unintentional missing glyphs in v0.055? HOT 6
- Ligatures are gone in WezTerm after upgrading to JuliaMono 0.055 HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from juliamono.