Code

[PATCH] gitk i18n: More markup -- various options menus