After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 710401 - font size in user details is quite large
font size in user details is quite large
Status: RESOLVED FIXED
Product: polari
Classification: Applications
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Polari maintainers
Polari maintainers
Depends on:
Blocks:
 
 
Reported: 2013-10-17 16:05 UTC by William Jon McCann
Modified: 2013-10-22 15:14 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
screenshot (87.19 KB, image/png)
2013-10-17 16:05 UTC, William Jon McCann 		  Details
Reduce the size of the recent activity labels in user list (1.31 KB, patch)
2013-10-18 16:18 UTC, William Jon McCann 		committed Details | Review
screenshot (after) (19.82 KB, image/png)
2013-10-21 18:25 UTC, William Jon McCann 		  Details

Description William Jon McCann 2013-10-17 16:05:23 UTC 
Created attachment 257554 [details]
screenshot

The font size used in the user details is quite large.
Comment 1 William Jon McCann 2013-10-18 16:18:42 UTC 
Created attachment 257648 [details] [review]
Reduce the size of the recent activity labels in user list
Comment 2 Florian Müllner 2013-10-18 17:12:46 UTC 
What about the real name? And should we use CSS instead of GMarkup?
Comment 3 William Jon McCann 2013-10-21 18:25:26 UTC 
Created attachment 257785 [details]
screenshot (after)
Comment 4 William Jon McCann 2013-10-21 18:35:54 UTC 
I think it is better not to shrink the name since that is primary info. As for the technique I don't have a strong opinion.
Comment 5 Florian Müllner 2013-10-21 18:55:48 UTC 
Review of attachment 257648 [details] [review]:

(In reply to comment #4)
> As for the technique I don't have a strong opinion.

OK then. Using markup means we need to escape strings outside our control (as the hostname), which is not the case with CSS. Still, no strong preference on my part either ...