Skip to content

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 b4n force-pushed the fractional_fonts branch from 7a9b2f0 to 2453463 Compare August 13, 2019 14:48
b4n pushed a commit to b4n/geany that referenced this pull request Aug 13, 2019
@b4n b4n force-pushed the fractional_fonts branch from 2453463 to 9e58f54 Compare August 13, 2019 14:50
b4n pushed a commit to b4n/geany that referenced this pull request Aug 13, 2019
@b4n b4n force-pushed the fractional_fonts branch from 9e58f54 to 46d5e75 Compare August 13, 2019 14:52
@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.

4 participants