-
Notifications
You must be signed in to change notification settings - Fork 19
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
new GUI modal: tabulation confirmation page #812
Conversation
f88126f
to
fc56e93
Compare
6b12f87
to
256b816
Compare
2c50723
to
842fa95
Compare
d8def3b
to
1f1f9d4
Compare
1f1f9d4
to
3eca021
Compare
Two things I noticed while looking over this
|
Good catch! Both of these are present in 1.3.2 as well, though I agree this PR makes them more evident (especially the GUI lag). I'll tackle the increase in timing first, then look at the GUI freezing. Since both exist outside of this PR, it may be useful to have separate tickets for them? But not super necessary. |
Turns out both had the same underlying cause, and both are fixed in #832 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@HEdingfield since this is mostly UI, would you have time to review it?
…confirm-num-ballots
3fa0575
to
83b58eb
Compare
* make the log output faster, and add colors too * spruce up the style * Issue 830: prevent lagging * remove unused import * re-enable and fix word wrap * better warning color --------- Co-authored-by: Armin Samii <[email protected]>
can we make the Number of Ballots number formatted with commas on the thousands like 1,000 or 1,000,000 |
Sure, I'll handle this in my nit-handling commit shortly. |
Done! |
…ank()`; removes "please" from user comms per Google style; addresses nits, minor refactoring, and other clean-up.
item.setPrefWidth(listView.getWidth() - 50); | ||
|
||
// Fix the label padding | ||
setPadding(new Insets(0, 0, 0, 3)); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This was fixed here: 9b3b5f7
Not sure what git snafu happened here, but if you grab the latest, do you still see this?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yep, still seeing this. :(
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ping on this. We can boot out to another issue if you'd like. CC: @yezr
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this is Windows-specific, but haven't had a chance to boot up my windows machine and check yet
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yep, this is a windows line ending issue. Fixed here, as the bug exists on develop too: #842
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Excellent, thanks for fixing! I'll test that PR separately.
src/main/resources/network/brightspots/rcv/GuiConfigLayout.fxml
Outdated
Show resolved
Hide resolved
3e375d5
to
85c4e51
Compare
…ct location in Windows; fit and finish.
9f10c5e
to
0e84c5b
Compare
item.setPrefWidth(listView.getWidth() - 50); | ||
|
||
// Fix the label padding | ||
setPadding(new Insets(0, 0, 0, 3)); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ping on this. We can boot out to another issue if you'd like. CC: @yezr
…confirm-num-ballots
b1bfff7
to
89c370e
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Great work, all set to merge!
item.setPrefWidth(listView.getWidth() - 50); | ||
|
||
// Fix the label padding | ||
setPadding(new Insets(0, 0, 0, 3)); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Excellent, thanks for fixing! I'll test that PR separately.
closes #679
closes #133 (but not yet #825)