X-Git-Url: http://git.argeo.org/?a=blobdiff_plain;f=swt%2Forg.argeo.tool.devops.e4%2Fsrc%2Forg%2Fargeo%2Fcms%2Fui%2Feclipse%2Fforms%2FFormFonts.java;fp=swt%2Forg.argeo.tool.devops.e4%2Fsrc%2Forg%2Fargeo%2Fcms%2Fui%2Feclipse%2Fforms%2FFormFonts.java;h=9e931ba50f168afbfd20d66410e8686ae5d351fe;hb=825d60c5348dbe3f5be25b0bccf7bdebfe694219;hp=0000000000000000000000000000000000000000;hpb=5e991fff5cba01858dcc5747a27e637325bc5c8e;p=gpl%2Fargeo-jcr.git

diff --git a/swt/org.argeo.tool.devops.e4/src/org/argeo/cms/ui/eclipse/forms/FormFonts.java b/swt/org.argeo.tool.devops.e4/src/org/argeo/cms/ui/eclipse/forms/FormFonts.java
new file mode 100644
index 0000000..9e931ba
--- /dev/null
+++ b/swt/org.argeo.tool.devops.e4/src/org/argeo/cms/ui/eclipse/forms/FormFonts.java
@@ -0,0 +1,122 @@
+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;
+	}
+}