There is no point in having huge margins (9px) at every side of the
scan popup window. Especially since the popup window is supposed
to be small and compact.
This reverts commit c03b346114.
The menu item is not completely useless, it useful when the automatic history
gathering is disabled and this menu could be used to add items to the history
manually.
The new History Pane features proper mouse and keyboard navigation,
multiple selection and ability to remove the selected entries,
plus a dynamic context menu. Additionaly, the History's size is now
configurable in Preferences.
Use Ctrl+H to show/hide the History Pane.
History Pane's titlebar can be styled via #historyPaneTitleBar, e.g.:
/* Colored header for the History Pane */
background: lightsteelblue;
margin: 2px;
}
Closes #162: Make History sidebar independent from the Search Pane
Closes #159: "Send to main window" button from Pop-Up window does nothing when History is shown
Closes #158: Preserve History mode after restart
Closes #157: History with new UI: New words are not added when History is shown
Closes #156: History with new UI: Extra Groups widget in History is shown
Closes #155: History with new UI: Arrow keys navigation in History doesn't work
Closes #154: History with new UI: DEL key does not delete the current history entry
By default, it is unchanged, still 256.
In those rare cases when users really need more lengthy
headwords, they could adjust the config file,
maxHeadwordSize parameter.
1. Pressing Down Arrow allows to jump from the Quick Filter to the dictionaries list.
2. Navigating through dictionary list via keyboard (Up/Down) results in dictionary details
to be shown on the right. Previously, only mouse clicks updated the dictionary info.
So that if Menu Button is hidden (or the whole toolbar is hidden) all
the actions would still work, including the one to show the main menu back.
One of the possibilities when the Menu Button is hidden is when not all
toolbar buttons fit into winow and are being automatically hidden.
