debian/patches/01_free_javac.dpatch

   1 #! /bin/sh /usr/share/dpatch/dpatch-run
   2 ## 01_free_javac.dpatch by  <gregor+debian@comodo.priv.at>
   3 ##
   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
   7
   8 @DPATCH@
   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
  12 @@ -70,7 +70,6 @@
  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;
  17
  18  /**
  19   * JabRef Main Class - The application gets started here.
  20 @@ -609,27 +608,6 @@
  21
  22                      //Plastic3DLookAndFeel plLnf = (Plastic3DLookAndFeel) lnf;
  23                  }
  24 -                else if ((lnf != null) && (lnf instanceof WindowsLookAndFeel)) {
  25 -
  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));
  32 -
  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
  38 -                            );
  39 -                        FontPolicy fixedPolicy = FontPolicies.createFixedPolicy(fontSet);
  40 -                        WindowsLookAndFeel.setFontPolicy(fixedPolicy);
  41 -                    }
  42 -
  43 -                    //WindowsLookAndFeel plLnf = (WindowsLookAndFeel) lnf;
  44 -                }
  45
  46                  if (lnf != null) {
  47                      try {