--- tinymce/tinymce.module	2007-05-06 04:41:35.000000000 +0300
+++ tinymce.new/tinymce.module	2007-05-13 18:07:38.038856412 +0300
@@ -922,7 +922,7 @@
      '#type' => 'select',
      '#title' => t('Remove linebreaks'),
      '#default_value' => $edit->settings['remove_linebreaks'],
-     '#options' => array('true' => 'true', 'false' => 'false'),
+     '#options' => array('true' => t('true'), 'false' => t('false')),
      '#description' => t('Set this option to false to prevent TinyMCE from removing linebreaks from existing nodes.  True avoids conflicts with some filters.')
   );
 
@@ -930,7 +930,7 @@
      '#type' => 'select',
      '#title' => t('Apply source formatting'),
      '#default_value' => $edit->settings['apply_source_formatting'],
-     '#options' => array('true' => 'true', 'false' => 'false'),
+     '#options' => array('true' => t('true'), 'false' => t('false')),
      '#description' => t('This option makes TinyMCE apply source formatting.  Set this to true for a cleaner HTML source.  Choose false to avoid conflicts with some filters.')
   );