Commit Diff


commit - 07ec9efc9ee6001b0fab3d5d585588806d10ed0e
commit + c8bdeeee1ed989597b80411db64701184dfc8606
blob - 14f0fd8f12319af35e37a9f861bf1fa3df9ed77d
blob + a4baf968a3a9f471706bca2dcd97a89cab9a4990
--- de/mud/jta/Common.java
+++ de/mud/jta/Common.java
@@ -50,6 +50,7 @@ public class Common extends PluginLoader {
     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
@@ -19,6 +19,8 @@
 
 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
@@ -1016,7 +1016,8 @@ public class VDU extends Component
           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];
           }