#! /bin/sh /usr/share/dpatch/dpatch-run ## 01_free_javac.dpatch by ## ## All lines beginning with `## DP:' are a description of the patch. ## DP: Changes to be able to compile JabRef with free java compilers. ## Thanks to Matthias Klose, cf. #383006 @DPATCH@ diff -urNad jabref~/src/java/net/sf/jabref/JabRef.java jabref/src/java/net/sf/jabref/JabRef.java --- jabref~/src/java/net/sf/jabref/JabRef.java 2008-03-16 16:09:28.000000000 +0100 +++ jabref/src/java/net/sf/jabref/JabRef.java 2008-03-16 16:11:42.000000000 +0100 @@ -70,7 +70,6 @@ import com.jgoodies.looks.FontSet; import com.jgoodies.looks.FontSets; import com.jgoodies.looks.plastic.Plastic3DLookAndFeel; -import com.jgoodies.looks.windows.WindowsLookAndFeel; /** * JabRef Main Class - The application gets started here. @@ -609,27 +608,6 @@ //Plastic3DLookAndFeel plLnf = (Plastic3DLookAndFeel) lnf; } - else if ((lnf != null) && (lnf instanceof WindowsLookAndFeel)) { - - // Set a "model" icon size, so menu items are evenly spaced even though - // only some items have icons. We load an arbitrary icon and look at - // its size to determine what size to use: - int defaultIconSize = GUIGlobals.getImage("open").getIconWidth(); - com.jgoodies.looks.Options.setDefaultIconSize - (new Dimension(defaultIconSize, defaultIconSize)); - - if (overrideDefaultFonts) { - FontSet fontSet = FontSets.createDefaultFontSet( - new Font("Tahoma", Font.PLAIN, fontSizes), // control font - new Font("Tahoma", Font.PLAIN, fontSizes), // menu font - new Font("Tahoma", Font.BOLD, fontSizes) // title font - ); - FontPolicy fixedPolicy = FontPolicies.createFixedPolicy(fontSet); - WindowsLookAndFeel.setFontPolicy(fixedPolicy); - } - - //WindowsLookAndFeel plLnf = (WindowsLookAndFeel) lnf; - } if (lnf != null) { try {