1 #! /bin/sh /usr/share/dpatch/dpatch-run
2 ## 01_free_javac.dpatch by <gregor+debian@comodo.priv.at>
4 ## All lines beginning with `## DP:' are a description of the patch.
5 ## DP: Changes to be able to compile JabRef with free java compilers.
6 ## Thanks to Matthias Klose, cf. #383006
9 diff -urNad jabref~/src/java/net/sf/jabref/JabRef.java jabref/src/java/net/sf/jabref/JabRef.java
10 --- jabref~/src/java/net/sf/jabref/JabRef.java 2008-03-16 16:09:28.000000000 +0100
11 +++ jabref/src/java/net/sf/jabref/JabRef.java 2008-03-16 16:11:42.000000000 +0100
13 import com.jgoodies.looks.FontSet;
14 import com.jgoodies.looks.FontSets;
15 import com.jgoodies.looks.plastic.Plastic3DLookAndFeel;
16 -import com.jgoodies.looks.windows.WindowsLookAndFeel;
19 * JabRef Main Class - The application gets started here.
22 //Plastic3DLookAndFeel plLnf = (Plastic3DLookAndFeel) lnf;
24 - else if ((lnf != null) && (lnf instanceof WindowsLookAndFeel)) {
26 - // Set a "model" icon size, so menu items are evenly spaced even though
27 - // only some items have icons. We load an arbitrary icon and look at
28 - // its size to determine what size to use:
29 - int defaultIconSize = GUIGlobals.getImage("open").getIconWidth();
30 - com.jgoodies.looks.Options.setDefaultIconSize
31 - (new Dimension(defaultIconSize, defaultIconSize));
33 - if (overrideDefaultFonts) {
34 - FontSet fontSet = FontSets.createDefaultFontSet(
35 - new Font("Tahoma", Font.PLAIN, fontSizes), // control font
36 - new Font("Tahoma", Font.PLAIN, fontSizes), // menu font
37 - new Font("Tahoma", Font.BOLD, fontSizes) // title font
39 - FontPolicy fixedPolicy = FontPolicies.createFixedPolicy(fontSet);
40 - WindowsLookAndFeel.setFontPolicy(fixedPolicy);
43 - //WindowsLookAndFeel plLnf = (WindowsLookAndFeel) lnf;