43 |
gcjwebplugin.menu_clone=Clone ... |
gcjwebplugin.menu_clone=Clone ... |
44 |
gcjwebplugin.menu_quit=Quit |
gcjwebplugin.menu_quit=Quit |
45 |
gcjwebplugin.menu_close=Close |
gcjwebplugin.menu_close=Close |
46 |
|
gcjwebplugin.menu_tag=Tag ... |
47 |
|
gcjwebplugin.menu_info=Info ... |
48 |
|
gcjwebplugin.menu_edit=Edit |
49 |
|
gcjwebplugin.menu_encoding=Character Encoding |
50 |
|
gcjwebplugin.menu_print=Print ... |
51 |
|
gcjwebplugin.menu_properties=Properties ... |
52 |
gcjwebplugin.menu_cancel=Cancel |
gcjwebplugin.menu_cancel=Cancel |
53 |
gcjwebplugin.menu_save=Save ... |
gcjwebplugin.menu_save=Save ... |
54 |
|
|