commit - 07ec9efc9ee6001b0fab3d5d585588806d10ed0e
commit + c8bdeeee1ed989597b80411db64701184dfc8606
blob - 14f0fd8f12319af35e37a9f861bf1fa3df9ed77d
blob + a4baf968a3a9f471706bca2dcd97a89cab9a4990
--- de/mud/jta/Common.java
+++ de/mud/jta/Common.java
System.out.println("** Version 2.0 for Java 1.1.x and Java 2");
System.out.println("** Copyright (c) 1996-2000 Matthias L. Jugel, "
+ "Marcus Meissner");
+
try {
Version build =
(Version) Class.forName("de.mud.jta.Build").newInstance();
blob - ec27d30990fd0bc254f99224a6cd8cf070eadce4
blob + fd643172ed8df49d3226abfbc9082f395ef30568
--- de/mud/jta/PluginLoader.java
+++ de/mud/jta/PluginLoader.java
package de.mud.jta;
+import de.mud.jta.plugin.Terminal;
+
import java.util.Properties;
import java.util.Vector;
import java.util.Enumeration;
blob - 131f408a229d5bc1d48dd9d6e889efd505c816ed
blob + 6c44f908ff4bce664033cde91bcc75da0dbd4e78
--- de/mud/terminal/VDU.java
+++ de/mud/terminal/VDU.java
bg = darken(darken(color[((currAttr & COLOR_BG) >> 8) - 1]));
if((currAttr & BOLD) != 0) {
- g.setFont(normalFont.deriveFont(Font.BOLD));
+ g.setFont(new Font(normalFont.getName(),Font.BOLD,normalFont.getSize()));
+ // does not work with IE6: g.setFont(normalFont.deriveFont(Font.BOLD));
if(null != color[COLOR_BOLD]) {
fg = color[COLOR_BOLD];
}