[gedit-plugins] Created tag GEDIT_PLUGINS_2_31_2

[Ignacio Casal Quinteiro <icq src gnome org>]

The unsigned tag 'GEDIT_PLUGINS_2_31_2' was created.

Tagger: Ignacio Casal Quinteiro <icq gnome org>
Date: Thu May 27 18:36:55 2010 +0200

    Tag 2.31.2

Changes since the last tag 'GEDIT_PLUGINS_2_31_1':

Christian Kirbach (2):
      Removed invalid POTFILES.in entry
      Updated German translation

Claude Paroz (3):
      Updated French translation
      Updated file path in POTFILES.in
      Updated French translation

Garrett Regier (5):
      Bug 618243 - Build with gtk+-3.0 if it's available
      Bug 618116 - Terminal should update the font if the system font changes
      Made plugin schemas translatable
      Bug 615840 - Make smartspaces use get_indent_width
      Use gtk_source_view_get_visual_column

Henrique P. Machado (1):
      Updated Brazilian Portuguese Translation

Ignacio Casal Quinteiro (9):
      Remove useless include.
      Use gsettings to get the default font.
      Bump gio to 2.25.4 because of gsettings.
      Port drawspaces plugin to gsettings.
      Switch to xml format instead of the simple gsettings format.
      Use the right schemas var.
      Port showtabbar plugin to gsettings.
      Update POTFILES.
      Release 2.31.2

Jesse van den Kieboom (7):
      Implemented semantic replace
      Make all modules available in the commander.modules module
      Implement skip replace using Ctrl+Enter in commander find
      Fixed undefined modifier for replace-all
      Fixed multi edit tooltip label attachment
      Improve commander history handling
      Added support for smart-home-end

Jorge González (2):
      Updated Spanish translation
      Updated Spanish translation

Matej UrbanÄ?iÄ? (2):
      Updated Slovenian translation
      Updated Slovenian translation

Petr Kovar (1):
      Update Czech translation by Marek Cernocky