URL:
<http://gna.org/patch/?5776>
Summary: Make ENTER in tooltip bold
Project: Freeciv
Submitted by: cazfi
Submitted on: Mon 02 Feb 2015 01:03:08 AM EET
Category: client-gtk-2.0
Priority: 5 - Normal
Status: Ready For Test
Privacy: Public
Assigned to: None
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Planned Release: 2.5.0, 2.6.0, 3.0.0
_______________________________________________________
Details:
Markup "ENTER" in "Press ENTER or double-click to sell an improvement."
-tooltip bold in gtk-clients.
While this should be purely cosmetic change, as I investigated bug #21851 the
old tooltip (using gtk_widget_tooltip_set_text() ) seemed to be involved to
some weird memory usage behavior. The difference was just above the noise of
other things allocating and freeing memory, so it's hard to tell if it was
real; if there is something wrong with the old tooltip (and no similar problem
with the new one). But anyway, changing it to this should not hurt either.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Mon 02 Feb 2015 01:03:08 AM EET Name: SellTooltipMarkup.patch Size:
1kB By: cazfi
<http://gna.org/patch/download.php?file_id=23686>
_______________________________________________________
Reply to this item at:
<http://gna.org/patch/?5776>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Freeciv-dev mailing list
[email protected]
https://mail.gna.org/listinfo/freeciv-dev
