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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for fractional font sizes (superseeds #407) #2250

Merged
merged 1 commit into from Aug 13, 2019

Conversation

b4n
Copy link
Member

@b4n b4n commented Aug 9, 2019

Creating a new PR as #407 has no more branch attached to it and so can't be updated.

This needs squashing when review is done.

Basically it's #407 on top of master, plus a few minor changes to please me 馃檪

@b4n b4n added the enhancement label Aug 9, 2019
@b4n b4n added this to the 1.36 milestone Aug 9, 2019
@b4n b4n requested review from codebrainz and elextr August 9, 2019 08:19
Copy link
Member

@codebrainz codebrainz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Works for me on Ubuntu 18.04.2 with GTK+ 2 and 3, from View->Change Font as well as Preferences->Interface->Fonts->Editor.

b4n pushed a commit to b4n/geany that referenced this pull request Aug 13, 2019
b4n pushed a commit to b4n/geany that referenced this pull request Aug 13, 2019
@b4n b4n merged commit 46d5e75 into geany:master Aug 13, 2019
@elextr
Copy link
Member

elextr commented Aug 13, 2019

Myeh, asked for a review, but five days didn't get a chance :(

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants