changeset 42:99220aa136d9

Add default.properties.
author David Barts <n5jrn@me.com>
date Sat, 08 Feb 2020 23:05:39 -0700
parents 33fbe3a78d84
children 339e2da5bf83
files build.xml src/name/blackcap/clipman/default.properties
diffstat 2 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/build.xml	Sat Feb 08 22:10:01 2020 -0700
+++ b/build.xml	Sat Feb 08 23:05:39 2020 -0700
@@ -96,6 +96,7 @@
       </manifest>
       <zipgroupfileset dir="${lib.home}" includes="*.jar"/>
       <zipfileset src="${work.jar}"/>
+      <zipfileset dir="${src.home}" includes="**/*.properties"/>
     </jar>
   </target>
 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/name/blackcap/clipman/default.properties	Sat Feb 08 23:05:39 2020 -0700
@@ -0,0 +1,6 @@
+# This is an ISO-8859-1 file.
+mono.family=Monospaced
+mono.size=14.0
+prop.family=Serif
+prop.size=16.0
+queue.length=10