save used themes for comparison

Author: paulvi

pm.eclipse.editbox/src/1BlueToDeepBlue17-3-3noGRad(from Enide Studio).eb

@@ -0,0 +1,27 @@
+#Editbox Eclipse Plugin Settings
+#Wed Apr 23 10:14:07 CST 2014
+HighlightOne=true
+FillGradient=false
+FillSelected=true
+RoundBox=false
+BorderColorType=0
+Name=BlueToDeepBlue17-3-3noGRad
+ExpandBox=false
+BorderDrawLine=true
+FillOnMove=true
+Alpha=15
+HighlightWidth=3
+BorderWidth=3
+HighlightColor=000000
+BorderColor=00bbbb
+FillKeyModifier=
+HighlightColorType=0
+FillGradientColor=0000a0
+Builder=Java
+HighlightDrawLine=false
+FillSelectedColor=80ffff
+BorderLineStyle=0
+Colors=null-d0dd9b-cdd8b9-e9f58b-null-null-null-null-null-null
+HighlightLineStyle=0
+NoBackground=false
+CirculateLevelColors=false

pm.eclipse.editbox/src/1RainbowDropsLineNoFill-from-ADT-Bundle-2.eb

@@ -0,0 +1,27 @@
+#Editbox Eclipse Plugin Settings
+#Wed Apr 23 10:16:02 CST 2014
+HighlightOne=true
+FillGradient=false
+FillSelected=false
+RoundBox=false
+BorderColorType=0
+Name=RainbowDropsLineNoFill
+ExpandBox=false
+BorderDrawLine=true
+FillOnMove=true
+Alpha=0
+HighlightWidth=1
+BorderWidth=1
+HighlightColor=00ff00
+BorderColor=00bbbb
+FillKeyModifier=
+HighlightColorType=0
+FillGradientColor=null
+Builder=Java
+HighlightDrawLine=false
+FillSelectedColor=000080
+BorderLineStyle=1
+Colors=202020-null
+HighlightLineStyle=0
+NoBackground=false
+CirculateLevelColors=false