Fix dropdown behaviour in advanced settings
Merge pull request #609 from xcazin/fr-FR

fr-FR translations for new strings in the Control Panel, plus edits to an older one
Fix problem with widget.getStateQualifier()

Fixed to take into account the recent change to read variables from the
parent widget: e60fc9f81f2c8f0d115543d8d330a1d68f9b890a
Fix line height
Update release note
Fix tab button padding

Lack of padding caused a visual glitch in Firefox
Get rid of the tweakParseTreeNode() hack

It’s an embarrassing hangover from a refactoring of the parsing
mechanism last year.
Tabs appearance tweaks
Fix problem with advanced search counts

Apologies to TiddlyWiki’s translators for disrupting existing work!
Clean up startup logging

Now we do boot logging to an array. We harvest it in the —verbose
command. We still need to provide a way to access the log in the
browser too.