[devhelp] (9 commits) ...window: avoid using deprecated stock icons

[Aleksander Morgado <aleksm src gnome org>]

Summary of changes:

  414320e... keyword-model: when book id given, sort first those results (*)
  4740b78... keyword-model: minor coding style fixes (*)
  a943f3c... keyword-model: always prefer exact link in the current book (*)
  2282590... sidebar: remove [Current][All Books] filter buttons
  aa9a976... keyword-model: keep track of what the current book was when
  7b3dac7... sidebar: hits for current book are given in bold
  9c297f5... keyword-model: prefer specifying current book with the 'boo
  2519aa2... sidebar: remove unused variable
  142c57e... window: avoid using deprecated stock icons

(*) This commit already existed in another branch; no separate mail sent