Git Product home page Git Product logo

Comments (10)

fonsp avatar fonsp commented on August 16, 2024 6

Thank so much!!!

from juliamono.

cormullion avatar cormullion commented on August 16, 2024 1

I want everyone to use JuliaMono instead of Roboto Mono :)

Awesome - if a bit scary... :)

I'll investigate how to do it.

from juliamono.

cormullion avatar cormullion commented on August 16, 2024 1

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.

Screenshot 2020-08-15 at 11 30 17

I can easily include add any glyphs that you must have to -RegularLatin...

from juliamono.

cormullion avatar cormullion commented on August 16, 2024 1

Yes. :)

from juliamono.

cormullion avatar cormullion commented on August 16, 2024 1

@fonsp Thanks so much - I'm very happy about this... :)

from juliamono.

cormullion avatar cormullion commented on August 16, 2024

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.

fonsp avatar fonsp commented on August 16, 2024

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.

fonsp avatar fonsp commented on August 16, 2024

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.

fonsp avatar fonsp commented on August 16, 2024

Can you also make a Latin subset of the Bold variant? ☺

from juliamono.

fonsp avatar fonsp commented on August 16, 2024

Pluto 0.12.0 will use JuliaMono! I'm using it already and it looks delightful

from juliamono.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.