-
Notifications
You must be signed in to change notification settings - Fork 3
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
Use 15 point font for bob widget type=group, and 5 pixel grid #135
Comments
Are you expecting that with this change we can enable grid snapping and then drag a widget out of the generated position and then back again and the position is the same? That doesn't seem to be the case for grid size 5 and text size 15. The position changes slightly:
|
Oh dear, that is not expected. @DiamondRC is this working for you with size 15 font? Please could you demo to Gary if so? |
Grid snapping in the phoebus editor is to the global co-ordinates. If you make a group box it applies a local offset to this that is proportional to the font size, but snapping continues on the global co-ordinates. The current offset with size 14 font is 18 pixels, which is not a multiple of 5 which is our widget spacing distance. If we increase the group box font to 15, then it is 20 pixels which is.
I suggest we add this to widget group box:
and set the top level display grid to 5 pixels to match:
Acceptance Criteria
The text was updated successfully, but these errors were encountered: