Jorge wrote:
On Sat, Mar 28, 2009 at 12:02:59AM +0000, corvid wrote:
I was going to update the dillorc comment for load_images (still mentions the old dedicated button), and... to developers, it's in the Tools button's menu now, but to users, it's the Settings button because that's what the tooltip says.
... and the button text-label is "Tools".
We should standardize on one name or the other.
The tooltips explain briefly what each button does. In this case it could also be: "Browser settings", "Customize browser behaviour", "Browser tools", "Browser preferences" or similar. I'd keep "Tools" as the name of the button and try to find a good tooltip text.
All right, then I can either call it "Browser tools" in the tooltip or be careful always to call it the tools/settings button in documentation.