← 输入框|github.com|刷新
Skip to content

GTK: Handle smooth scrolling according to the documentation - #1470

Merged
ruevs merged 2 commits into
solvespace:masterfrom
ruevs:fix-scrolling-wayland
Aug 17, 2024
Merged

ruevs merged 2 commits into
solvespace:masterfrom
ruevs:fix-scrolling-wayland

Conversation

@ruevs

@ruevs ruevs commented Jul 7, 2024 •

Copy link
Copy Markdown
Member

An alternative to #1464

@ruevs ruevs mentioned this pull request Jul 7, 2024
@ruevs
ruevs requested review from phkahler and rpavlik July 8, 2024 16:34
@ruevs
ruevs merged commit a17fb15 into solvespace:master Aug 17, 2024
ruevs added a commit to ruevs/solvespace that referenced this pull request Oct 7, 2024
@ruevs
ruevs deleted the fix-scrolling-wayland branch December 4, 2024 15:21
devin-ai-integration Bot pushed a commit to erkinalp/solvespace that referenced this pull request Apr 3, 2025
dennisyangji pushed a commit to Orthogonalpub/ode_solvespace that referenced this pull request Nov 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants