Pipe-domains in PO files (gnome-games)

[dooteo <dooteo euskalgnu org>]

Hi all,

Updating gnome-games PO file there is a dude about pipe-domain
translation. On gtk+'s PO file 

  #: ../gdk/keyname-table.h:3940
  msgid "keyboard label|BackSpace"
  msgstr "BackSpace"

or 
  #: ../gtk/gtkcalendar.c:1887
  msgid "calendar year format|%Y"
  msgstr "%Y"

translated strings shuldn't have 'pipe-domain' prefix.

but on gnome-games -> es.po file keeps pipe prefix:

  #: ../gataxx/properties.c:355
  msgid "gataxx|Easy"
  msgstr "gataxx|Fácil"

  #: ../gataxx/properties.c:356
  msgid "gataxx|Medium"
  msgstr "gataxx|Medio"

are they right? or translation should be like (without prefix):

  #: ../gataxx/properties.c:355
  msgid "gataxx|Easy"
  msgstr "Fácil"

  #: ../gataxx/properties.c:356
  msgid "gataxx|Medium"
  msgstr "Medio"

Best regards,

Dooteo