On Aug 5, 2010, at 12:31 AM, Leandro Regueiro wrote:
2010/7/27 Cristian Secară <liste@...245...>:
> (not quite translation related, but I came across these strings while
> translating/checking this portion)
> In preferences -> Interface there are a few icon size settings. At
> present the alternatives are large - small - smaller. Is this really
> ok ? In my opinion these should have been large - medium - small.
IMHO it is not a bad idea.
I'd have to take some time to dig through things, but I believe that technically they
are not "large", "medium" and "small". Rather they are more
the equivalent of "+2", "-2" and "-4" for the sizes.
One of the really confusing parts is that the sizing is actually based on dynamic GTK
theme settings that change from user to user and from distro to distro. Some (Ubuntu) set
several of the sizes to the same value. Some do worse.
We probably should revisit this, but we should try to come up with accurate names to begin
with. It might even require a bit of code change.