Skip to content

Comments

fix: remove unused add_point_to_edge shortcut from default config#1794

Merged
wkentaro merged 1 commit intomainfrom
fix_remove_unused_add_point_to_edge_shortcut_from_default_config
Jan 31, 2026
Merged

fix: remove unused add_point_to_edge shortcut from default config#1794
wkentaro merged 1 commit intomainfrom
fix_remove_unused_add_point_to_edge_shortcut_from_default_config

Conversation

@wkentaro
Copy link
Owner

@wkentaro wkentaro commented Jan 31, 2026

For #1793 (comment)

The shortcut was never wired to a menu action in app.py. The addPointToEdge functionality remains accessible via Alt+Click.

The shortcut was never wired to a menu action in app.py.
The addPointToEdge functionality remains accessible via Alt+Click.
@wkentaro wkentaro added this to the v6.0.0 milestone Jan 31, 2026
@wkentaro wkentaro self-assigned this Jan 31, 2026
@wkentaro wkentaro added the fix label Jan 31, 2026
@wkentaro wkentaro merged commit 5014f34 into main Jan 31, 2026
4 checks passed
@wkentaro wkentaro deleted the fix_remove_unused_add_point_to_edge_shortcut_from_default_config branch January 31, 2026 00:43
@github-project-automation github-project-automation bot moved this from Backlog to Done in @wkentaro's Kanban Jan 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant