× 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.


  • Subject: Re: CVS Location
  • From: Patrick Bielen <bielen@xxxxxxxx>
  • Date: Mon, 7 May 2001 09:29:39 +0200
  • Organization: Stafa Holland bv

> You will also need the development package for GLIB.

Well... i installed glib-dev and ncurses-dev and everything went fine.
Running 0.17.1 right now.
Screen-font-switching works great... but i want to tune it.
Does anybody knows how those fonts are setting up ?

when i make font 132 like this....

font_132=-etl-fixed-medium-r-normal-*-*-160-*-*-c-*-iso8859-1

then font filles whole screen (and that's perfect) but it is switched to BOLD 
and that is not that nice..... how can i tune it ?

so that i can set the 80-font that it filles the whole screen too...
like as you select Huge font (perfect).

Greetings

Patrick
+---
| This is the LINUX5250 Mailing List!
| To submit a new message, send your mail to LINUX5250@midrange.com.
| To subscribe to this list send email to LINUX5250-SUB@midrange.com.
| To unsubscribe from this list send email to LINUX5250-UNSUB@midrange.com.
| Questions should be directed to the list owner/operator: david@midrange.com
+---

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.