diff --git a/kdvi.kcfg b/kdvi.kcfg index 6f10e2de2..aa4167579 100644 --- a/kdvi.kcfg +++ b/kdvi.kcfg @@ -6,17 +6,6 @@ fontpool.h - - - <html><head><meta name="qrichtext" content="1" /></head><body style="font-size:14pt;font-family:Bitstream Vera Sans"> -<p>Chooses the type of bitmap fonts used for the display. As a general rule, the higher the dpi value, the better quality of the output. On the other hand, large dpi fonts use more resources and make KDVI slower.</p> -<p>If you are low on hard disk space, or have a slow machine, you may want to choose the same setting that is also used by dvips. That way you avoid generating several bitmap versions of the same font.</p> -</body></html> - - DefaultMFMode - 0 - NumberOfMFModes-1 - Allows KDVI to use MetaFont to produce bitmap fonts. Unless you have a very specific reason, you probably want to enable this option.