Skip to content

Conversation

phao
Copy link
Contributor

@phao phao commented Jan 21, 2015

No description provided.

@@ -4460,12 +4460,12 @@ void editor_set_font(GeanyEditor *editor, const gchar *font)
g_return_if_fail(editor);

pfd = pango_font_description_from_string(font);
size = pango_font_description_get_size(pfd) / PANGO_SCALE;
size = (100*pango_font_description_get_size(pfd)) / PANGO_SCALE;
Copy link
Member

Choose a reason for hiding this comment

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

why multiply by 100 and divide later? wouldn't it be simpler and everything to just make size a gdouble and get a real straight away?

@elextr
Copy link
Member

elextr commented Jan 22, 2015

@codebrainz are you sure that the @b4n --excessively-pedantic options set won't complain about passing ints to doubles if we do that :)

Otherwise @phao just put a space between the two stars /* * for now.

@elextr
Copy link
Member

elextr commented Aug 3, 2019

@b4n ping, fixed to your satisfaction?

@b4n
Copy link
Member

b4n commented Aug 9, 2019

See #2250

@b4n b4n closed this Aug 9, 2019
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