[gnome-mines/wip/libgames-scores] (55 commits) ...Merge branch 'master' into wip/libgames-scores

[Michael Catanzaro <mcatanzaro src gnome org>]

Summary of changes:

  7f48d66... Updated Greek translation (*)
  5f738f2... Updated Greek translation (*)
  56a368b... Move the minefield to an aspectframe. https://bugzilla.gnom (*)
  9b926f0... Use standard GTK+ components for the minefield (*)
  cdf9c14... Use the SVG files as background-image (*)
  ee75eef... Added pause overlay (*)
  4c61630... Fix paths to image files in css (*)
  a5c5b14... Added new co-maintainer (*)
  f4bb0f3... Merged branch 'wip/cssstyling' with CSS stylable minefield. (*)
  618047e... Updated Czech translation (*)
  b1aa3a1... Updated Czech translation (*)
  fc9f080... Added new classes for game ended cases (*)
  90e76d0... Credits cleanup, removed face artists, as we are not using  (*)
  08d4ecb... Mark the full field as exploded instead of separate tiles (*)
  606b6b3... Prefer dark gtk theme (*)
  6c3c29f... Moved start screens to Glade UI file (*)
  c9d0037... Moved most of the game screen to the UI file (*)
  054bccd... Further improvements to the UI file (*)
  5be79e4... Moved the overlay to the UI file (*)
  5d9ab74... Updated Hebrew translation (*)
  e2aae24... Updated POTFILES.in (*)
  e942419... Updated Hebrew translation (*)
  05a71a9... Updated Czech translation (*)
  4ba08f7... Updated CSS files based on design suggestions (*)
  7d308a3... Removed button labels added for testing until styling is do (*)
  6187a5d... Rescaled SVG images to 64x64 for better scaling (*)
  e2b047d... use the light theme variant (*)
  6b33639... symbolic style images (*)
  5b17a32... Focus rectangle should not appear on tiles (*)
  0e1ab3c... Add fallen flag for incorrect flags (*)
  fdb078e... Updated Swedish translation (*)
  2dbc77f... Updated Slovenian translation (*)
  060d1fe... Replaced text label minecounts to SVG counts for better sca (*)
  ca915c9... change the color for incorrect flags (*)
  4a27be1... ONly use red background for incorrect flags (*)
  7fbbe35... Release 3.13.1 (*)
  12e57f3... styling: use more subtle colors (*)
  aa57403... Flipped tiles should not appear as sensitive on hover (*)
  d90391f... Updated Galician translations (*)
  54a53f2... Updated Lithuanian translation (*)
  a038b78... Added initial panning support for large custom minefields (*)
  01a13b8... Updated Spanish translation (*)
  f399b7c... Updated Spanish translation (*)
  bc362dd... appdata: update license metadata (*)
  f07046f... Use the symbolic flag icon instead of the replacement (*)
  95f24aa... Only show scrollbars if required. https://bugzilla.gnome.or (*)
  d3c1c42... Rename Difficulty button to Change Difficulty (*)
  489afd1... Allocate more space for the buttons box (*)
  b864e6c... Updated Czech translation (*)
  095acf9... Updated Hebrew translation (*)
  93f3fdb... Updated Spanish translation (*)
  876fb7a... appdata: fix spelling of metadata-license tag (*)
  20a089d... Updated Brazilian Portuguese translation (*)
  7cab7d5... Prepare 3.13.2 (*)
  4c1fa31... Merge branch 'master' into wip/libgames-scores

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