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.