Skip to content

fix(desmos): fix lots of unstyled text - #2287

Merged
WalkQuackBack merged 4 commits into
catppuccin:mainfrom
cootshk:fix/desmos
Jul 16, 2026
Merged

fix(desmos): fix lots of unstyled text#2287
WalkQuackBack merged 4 commits into
catppuccin:mainfrom
cootshk:fix/desmos

Conversation

@cootshk

@cootshk cootshk commented Jul 13, 2026

Copy link
Copy Markdown
Contributor

馃棐 Checklist 馃棐

  • I used AI (or AI-assistance) for this change.

馃敡 What does this fix? 馃敡

image
  • Legacy Buttons
image This spacing is an issue in vanilla desmos too.
  • Built-in functions
image
  • Saved graph folders & titles
image image image
  • (desmodder) IntelliSense
image
  • the new graph button
image
  • graph type filters
image
  • Saved graph checkbox is not the accent color
image

馃攳 Reproduction Steps 馃攳

Most of these things you can find just by viewing them in Desmos. For the legacy randomization button, enable the Desmodder text mode plugin, type f()=random(), enter text mode, and finally exit text mode

Fixes

Fix Image
Slider image
Legacy Buttons image
Built-in functions image
Saved graph folders & titles image
Example graphs image
Line numbers image
Tutorial image
IntelliSense image
New graph image
graph type filters image
Checkboxes image I personally don't believe the border around the checkbox is needed, but vanilla Desmos has that too so I won't remove it.

Closes #2227, closes #2228, closes #2234

@cootshk
cootshk requested a review from gradylink as a code owner July 13, 2026 00:29
@github-actions github-actions Bot added the desmos Desmos label Jul 13, 2026

@gradylink gradylink left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lgtm

@WalkQuackBack WalkQuackBack added the 0.kind: bug Bug (i.e. unthemed components) label Jul 16, 2026
@WalkQuackBack
WalkQuackBack merged commit 733fa90 into catppuccin:main Jul 16, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

0.kind: bug Bug (i.e. unthemed components) desmos Desmos

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Desmos: Tutorial Unthemed Desmos: Slider Text Hard to Read Desmos: Tab Number Hard To Read When Not Selected

3 participants