UCL / frrant

2 stars 0 forks source link

Feature/adding fraction symbols #438

Closed acholyn closed 5 months ago

acholyn commented 7 months ago

closes #24

Also closes #448 and #387 since the process is now known

acholyn commented 7 months ago

Have remapped the new custom ones: E019 - victorius quadrans -> E023 E00A - VM sescuncia -> E024 E010 - VM dextans -> E026 E011 - VM deunx -> E027

tcouch commented 6 months ago

There's a file src/compose/local/django/symbols.json that gets loaded into the database by the start script every time you bring the docker containers up. That will need updating by dumping the Symbol and SymbolGroup models into json once you've added the new symbols via the admin.

It looks like there's a separate symbols.json for each of local, development, and production though I'm not sure why (they're all the same size so I assume they're identical). They'll all need updating.

Also, there's a weird bug where custom symbols I've added to the symbol picker are really hard to click on. Is that just a firefox thing or do you have that problem too?

acholyn commented 6 months ago

I remember there was a bit of strange behaviour with the bottom row of symbols not being selectable when they didn't have width but since fixing that I haven't had any issues

tcouch commented 6 months ago

Also, at some point the alphabetum file name changed from /static/fonts/ALPHABETUM_v_12.00.otf to /static/fonts/ALPHABETUM_v_12.otf so the css file will need updating

acholyn commented 6 months ago
image image
tcouch commented 5 months ago

This all looks good to me now. Just to say, if you're keeping a pre-2024 copy around in case you want to go back later, it's under version control so you can just checkout the old version of that file from a previous commit.