Andrew Dupont

Luckily, it does seem to get scaled proportionally; you should be able to do ```less .github-Git { font-size: 20px; } ``` or whatever value you like. Setting the `font-size` in...

@emerajid, the instructions are on [the page I linked above](https://docs.pulsar-edit.dev/customizing-pulsar/style-tweaks/#using-developer-tools-to-discover-class-names). But I agree that that's an advanced technique and we shouldn't make users do that for common tasks (like changing...

I changed the ticket name to cover what I think is the real issue. It's not hygienic for a package to hard-code a `font-size`. In general, packages shouldn't define their...

@emerajid, I should also point out — I completely forgot about it — that the `one-dark` package allows you to customize font size via its settings: Yet when I change...

@emerajid Since you're on Linux, you might have to launch Pulsar from the command line with `--no-sandbox` at least once. Some people say they've been able to open the dev...

> But on the topic of this thread, I realize you said the font-size setting only effects the editor components, but I mean how hard do you think it'd be...

@emerajid I just thought of a different workaround that might work better for you until we can figure out a proper fix: * Open your user stylesheet. * Remove any...

> Probably it doesn't parse mouse clicks correctly. Yeah, I tested this approach with a bunch of things… but not with pane resizing. It, too, interprets clicks and drags differently...

There are related issues here and I've mentioned some of them in Discord: 1. Our Less compilation strategy assumes that it doesn't have to recompile a file if its contents...

The good news: I managed to write a Less plugin that _largely_ allows someone to perform math on `@foo` when `@foo` is itself assigned to a CSS variable (like `var(--foo)`)....