From 281735e7d54f738bc1da1bdf0501b0168155ca55 Mon Sep 17 00:00:00 2001
From: Matt Gerring <matthew.gerring@gmail.com>
Date: Wed, 31 Aug 2016 13:56:35 +0100
Subject: [PATCH] Added number format

https://github.com/eclipse/richbeans/issues/77
---
 .../eclipse/richbeans/widgets/decorator/FloatDecorator.java    | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/org.eclipse.richbeans.widgets/src/org/eclipse/richbeans/widgets/decorator/FloatDecorator.java b/org.eclipse.richbeans.widgets/src/org/eclipse/richbeans/widgets/decorator/FloatDecorator.java
index 45da696..2241918 100644
--- a/org.eclipse.richbeans.widgets/src/org/eclipse/richbeans/widgets/decorator/FloatDecorator.java
+++ b/org.eclipse.richbeans.widgets/src/org/eclipse/richbeans/widgets/decorator/FloatDecorator.java
@@ -20,5 +20,8 @@ public class FloatDecorator extends BoundsDecorator {
 	public FloatDecorator(Text text) {
 		super(text, "[-0-9\\.∞]+", new DecimalFormat("##########0.0###"));
 	}
+	public FloatDecorator(Text text, String format) {
+		super(text, "[-0-9\\.∞]+", new DecimalFormat(format));
+	}
 
 }