{JMerror:cant_read... {Unable to open $filename for reading.}}
{JMerror:...is_directory {`$filename' is a directory, not a regular file.}}
{JMtitle:file... {File `$filename'}}
{JMtitle:stdin {Standard Input}}

{JMtitle:more_prefs {More Preferences}}
{JMpref:dont_wrap {Don't wrap lines}}
{JMpref:char_wrap {Wrap lines on character boundaries}}
{JMpref:word_wrap {Wrap lines at word boundaries}}
{{Font:} {Font:}}
{JMpref:font_default {Default}}
{JMpref:font_choose {Choose...}}
{{Width:} {Width:}}
{{Height:} {Height:}}
{{Save} {Save}}
{{Global Preferences} {Global Preferences}}
