X-Git-Url: http://git.argeo.org/?a=blobdiff_plain;f=org.argeo.cms.jcr.ui%2Fsrc%2Forg%2Fargeo%2Fcms%2Fui%2Feclipse%2Fforms%2FFormFonts.java;fp=org.argeo.cms.jcr.ui%2Fsrc%2Forg%2Fargeo%2Fcms%2Fui%2Feclipse%2Fforms%2FFormFonts.java;h=0000000000000000000000000000000000000000;hb=777e96758c36e1cfdecedb8749e384f6fe124a06;hp=9e931ba50f168afbfd20d66410e8686ae5d351fe;hpb=d2760f3b59a623a4428bca53bc395433c7fde845;p=gpl%2Fargeo-jcr.git

diff --git a/org.argeo.cms.jcr.ui/src/org/argeo/cms/ui/eclipse/forms/FormFonts.java b/org.argeo.cms.jcr.ui/src/org/argeo/cms/ui/eclipse/forms/FormFonts.java
deleted file mode 100644
index 9e931ba..0000000
--- a/org.argeo.cms.jcr.ui/src/org/argeo/cms/ui/eclipse/forms/FormFonts.java
+++ /dev/null
@@ -1,122 +0,0 @@
-package org.argeo.cms.ui.eclipse.forms;
-
-import java.util.HashMap;
-
-import org.eclipse.jface.resource.DeviceResourceException;
-import org.eclipse.jface.resource.FontDescriptor;
-import org.eclipse.jface.resource.JFaceResources;
-import org.eclipse.jface.resource.LocalResourceManager;
-import org.eclipse.swt.SWT;
-import org.eclipse.swt.graphics.Device;
-import org.eclipse.swt.graphics.Font;
-import org.eclipse.swt.graphics.FontData;
-//import org.eclipse.swt.internal.graphics.Graphics;
-import org.eclipse.swt.widgets.Display;
-
-public class FormFonts {
-	private static FormFonts instance;
-
-	public static FormFonts getInstance() {
-		if (instance == null)
-			instance = new FormFonts();
-		return instance;
-	}
-
-	private LocalResourceManager resources;
-	private HashMap descriptors;
-
-	private FormFonts() {
-	}
-
-	private class BoldFontDescriptor extends FontDescriptor {
-		private FontData[] fFontData;
-
-		BoldFontDescriptor(Font font) {
-			// RAP [if] Changes due to different way of creating fonts
-			// fFontData = font.getFontData();
-			// for (int i = 0; i < fFontData.length; i++) {
-			// fFontData[i].setStyle(fFontData[i].getStyle() | SWT.BOLD);
-			// }
-			FontData fontData = font.getFontData()[0];
-			// Font boldFont = Graphics.getFont( fontData.getName(),
-			// fontData.getHeight(),
-			// fontData.getStyle() | SWT.BOLD );
-			Font boldFont = new Font(Display.getCurrent(), fontData.getName(), fontData.getHeight(),
-					fontData.getStyle() | SWT.BOLD);
-			fFontData = boldFont.getFontData();
-		}
-
-		public boolean equals(Object obj) {
-			if (obj instanceof BoldFontDescriptor) {
-				BoldFontDescriptor desc = (BoldFontDescriptor) obj;
-				if (desc.fFontData.length != fFontData.length)
-					return false;
-				for (int i = 0; i < fFontData.length; i++)
-					if (!fFontData[i].equals(desc.fFontData[i]))
-						return false;
-				return true;
-			}
-			return false;
-		}
-
-		public int hashCode() {
-			int hash = 0;
-			for (int i = 0; i < fFontData.length; i++)
-				hash = hash * 7 + fFontData[i].hashCode();
-			return hash;
-		}
-
-		public Font createFont(Device device) throws DeviceResourceException {
-			// RAP [if] Changes due to different way of creating fonts
-			return new Font(device, fFontData[0]);
-			// return Graphics.getFont( fFontData[ 0 ] );
-		}
-
-		public void destroyFont(Font previouslyCreatedFont) {
-			// RAP [if] unnecessary
-			// previouslyCreatedFont.dispose();
-		}
-	}
-
-	public Font getBoldFont(Display display, Font font) {
-		checkHashMaps();
-		BoldFontDescriptor desc = new BoldFontDescriptor(font);
-		Font result = getResourceManager().createFont(desc);
-		descriptors.put(result, desc);
-		return result;
-	}
-
-	public boolean markFinished(Font boldFont) {
-		checkHashMaps();
-		BoldFontDescriptor desc = (BoldFontDescriptor) descriptors.get(boldFont);
-		if (desc != null) {
-			getResourceManager().destroyFont(desc);
-			if (getResourceManager().find(desc) == null) {
-				descriptors.remove(boldFont);
-				validateHashMaps();
-			}
-			return true;
-
-		}
-		// if the image was not found, dispose of it for the caller
-		// RAP [if] unnecessary
-		// boldFont.dispose();
-		return false;
-	}
-
-	private LocalResourceManager getResourceManager() {
-		if (resources == null)
-			resources = new LocalResourceManager(JFaceResources.getResources());
-		return resources;
-	}
-
-	private void checkHashMaps() {
-		if (descriptors == null)
-			descriptors = new HashMap();
-	}
-
-	private void validateHashMaps() {
-		if (descriptors.size() == 0)
-			descriptors = null;
-	}
-}