Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pref: Move pick radius to selection. #9237

Merged
merged 1 commit into from
Apr 12, 2023

Conversation

PaddleStroke
Copy link
Contributor

@PaddleStroke PaddleStroke commented Apr 12, 2023

Issue #9205

This only moves the preference to Selection tab.

Thank you for creating a pull request to contribute to FreeCAD! Place an "X" in between the brackets below to "check off" to confirm that you have satisfied the requirement, or ask for help in the FreeCAD forum if there is something you don't understand.

  • Your Pull Request meets the requirements outlined in section 5 of CONTRIBUTING.md for a Valid PR

Please remember to update the Wiki with the features added or changed once this PR is merged.
Note: If you don't have wiki access, then please mention your contribution on the 1.0 Changelog Forum Thread.


@github-actions github-actions bot added the Core Issue or PR touches core sections (App, Gui, Base) of FreeCAD label Apr 12, 2023
@freecadci
Copy link

pipeline status for feature branch PR_9237. Pipeline 835045549 was triggered at cf0b6b8. All CI branches and pipelines.

@chennes chennes merged commit 7486e9b into FreeCAD:master Apr 12, 2023
7 checks passed
@sliptonic sliptonic deleted the pick_radius branch May 13, 2023 13:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Core Issue or PR touches core sections (App, Gui, Base) of FreeCAD
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants