× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.



adrian wrote:

The print font setting in your profile shows

default.swt.print.font="\u201CProggyCleanTTSZBP-regular-11"

Looks like the opening double-quote is a wrong character!? Retry to set as:

default.print.font ProggyCleanTTSZBP-11

Deeply appreciate your posts, Adrian. Your insight is incredibly helpful! I exit WDSC 7.0.0.6, edit my Editor.properties file to remove default.swt.print.font entries, then start WDSC again and on the command line I enter (exactly, no quotes):

set default.print.font ProggyCleanTTSZBP-11

my properties end up as

default.swt.print.font.fontData="1|ProggyCleanTTSZBP|11|0|WINDOWS|1|-15|0|0|0|0|0|0|0|1|0|0|0|0|ProggyCleanTTSZBP"
default.swt.print.font="ProggyCleanTTSZBP-regular-11"

That is, the editor SET command puts the quotes in for us, and changes the name to "...-regular-11".

In the end, I still have print in the Arial font, just like Matt. Thinking I might have an issue with that non-standard font, I tried

set default.print.font Courier-10

giving

default.swt.print.font.fontData="1|Courier|10|0|WINDOWS|1|-13|0|0|0|0|0|0|0|1|0|0|0|0|Courier"
default.swt.print.font="Courier-regular-10"

and still prints in Arial.

--buck

As an Amazon Associate we earn from qualifying purchases.

This thread ...

Follow-Ups:
Replies:

Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.