File planets-0.1.13-string_random_bodies.patch of Package planets
Description: Fix crash in C locale due to un-i18n'ed string
Fixes-bug: 194402
--- trunk/display.ml 2007-06-20 04:20:50.000000000 +0200
+++ trunk.new/display.ml 2008-03-04 09:31:13.000000000 +0100
@@ -237,7 +237,7 @@
Options.add_option obox
(new Options.void_entry_display
- ~text:"New random bodies:" ());
+ ~text:(Lstrings.get `random_bodies) ());
Options.add_option_live obox diameter_multiplier
(new Options.float_entry_option
--- trunk/lstrings.ml 2007-06-20 04:20:50.000000000 +0200
+++ trunk.new/lstrings.ml 2008-03-04 09:31:13.000000000 +0100
@@ -68,6 +68,7 @@
| `dismiss -> "Dismiss"
| `options -> "Options"
| `at_startup -> "Display this screen at startup?"
+ | `random_bodies -> "New random bodies:"
| `prologue -> "Welcome to Planets!
Planets is a simple orbital planetary simulator. A short
introduction to planets can be found at: