Explicitly setting the font to "Courier" using the menu works and solves
the issue.
BTW: I did not do any font remapping but otherwise cannot state my
(Java) font system to be sound.
Thanks for your quick reply, Martin
On 21.10.2017 10:37, Hussein Shafie wrote:
> On 10/21/2017 08:37 AM, Martin Goik wrote:
>>
>> Strangely (at least on my standard Ubuntu Linux System) Xmlmind will
>> display code inside a programlisting using a proportional font rather
>> than a fixed one . The corresponding CSS definition in
>> addon/config/docbook/css/block2.imp reads:
>>
>>> programlisting,
>>> screen,
>>> literallayout,
>>> synopsis {
>>> display: block;
>>> white-space: pre;
>>> font-family: monospace;
>>> margin: 1.33ex 0;
>>> }
>> If I change "font-family: monospace" to e.g. "Courier" the display is
>> correct.
>>
>> This behavior is annoying since generated HTML will be displayed
>> differently.
>>
>
> May be you have mapped the Monospaced logical Java font to a real font
> which no longer exists on your Ubuntu Linux. See attached screenshot
> of "Options|Preferences", View section.
>
> Other than this, I have no clue.
>
> Please note that using this font mapping facility is the recommended
> way to workaround this kind of issue. So please change CSS property
> "font-family" back to "monospace", otherwise the font mapping facility
> won't work.
>
> Reference:
>
> View options, CSS stylesheet defaults" subsection,
> http://www.xmlmind.com/xmleditor/_distrib/doc/help/viewOptions.html#cssDefaults
>
--
If you want total security, go to prison. There you're fed, clothed,
given medical care and so on. The only thing lacking... is freedom.
Dwight D. Eisenhower
--
XMLmind XML Editor Support List
xmleditor-support@xmlmind.com
http://www.xmlmind.com/mailman/listinfo/xmleditor-support
