[anjuta/git-shell] (13 commits) ...Merge branch 'master' into git-shell

[James Liggett <jrliggett src gnome org>]

Summary of changes:

  61ffdbf... Updated Galician translations (*)
  044fdc3... message-view: Don't show unused preferences label (*)
  f2e6c13... AnjutaTabber: fix horizontal padding of tab contents (*)
  842fcee... AnjutaTabber: correctly order tabs in RTL locales (*)
  69e8878... AnjutaTabber: stylistic fixes for RTL support (*)
  8f8a8ad... configure: Fix the forced debugging mode even if --disable- (*)
  2998d61... gdb: bgo #617323  - Save debugger stack trace (*)
  a1e9e18... gdb: bgo#494292  - Set next statement (*)
  57c667c... run: bgo #623944  - buttons swapped on "Program parameters" (*)
  17f64ef... project-wizard: bgo #623754  - focus on wrong text-field (*)
  415c202... Updated Spanish translation (*)
  63e59bd... git: Add a helper function to remove panes from the dock
  47a64d2... Merge branch 'master' into git-shell

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