From: Stefan Huber <shuber@sthu.org>
Date: Thu, 4 Jun 2020 09:32:50 +0000 (+0200)
Subject: ipe: Add thickness style file
X-Git-Url: https://git.sthu.org/?p=ipestuff.git;a=commitdiff_plain

ipe: Add thickness style file
---

diff --git a/styles/10pt.isy b/styles/10pt.isy
old mode 100755
new mode 100644
diff --git a/styles/thicknesses.isy b/styles/thicknesses.isy
new file mode 100644
index 0000000..008285e
--- /dev/null
+++ b/styles/thicknesses.isy
@@ -0,0 +1,11 @@
+<?xml version="1.0"?>
+<!DOCTYPE ipestyle SYSTEM "ipe.dtd">
+<ipestyle name="thicknesses">
+	<pen name="thick-3" value="3"/>
+	<pen name="thick-5" value="5"/>
+	<pen name="thick-7" value="7"/>
+	<pen name="thick-7" value="7"/>
+	<pen name="thick-9" value="9"/>
+	<pen name="thick-11" value="11"/>
+</ipestyle>
+
diff --git a/styles/tiling.isy b/styles/tiling.isy
old mode 100755
new mode 100644