Skip to content

Fix preferences window initial height#141

Merged
keith merged 1 commit intomasterfrom
ks/prefs-fix
Jul 7, 2018
Merged

Fix preferences window initial height#141
keith merged 1 commit intomasterfrom
ks/prefs-fix

Conversation

@keith
Copy link
Copy Markdown
Member

@keith keith commented Jul 7, 2018

Previously the initial height of the preferences window was unbounded,
and took a system default.

Previously the initial height of the preferences window was unbounded,
and took a system default.
@keith keith added this to the 1.2.0 milestone Jul 7, 2018
@keith keith merged commit f80f3a4 into master Jul 7, 2018
@keith keith deleted the ks/prefs-fix branch July 7, 2018 23:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant