From 7ddc0d6b3931f9bc616b0e5993a6977b6ad5a33c Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Sun, 6 Aug 2017 18:32:04 +0200
Subject: [PATCH] Added missing file

---
 src/lay/doc/manual/line_style.xml | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 src/lay/doc/manual/line_style.xml

diff --git a/src/lay/doc/manual/line_style.xml b/src/lay/doc/manual/line_style.xml
new file mode 100644
index 000000000..754da41f9
--- /dev/null
+++ b/src/lay/doc/manual/line_style.xml
@@ -0,0 +1,30 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE language SYSTEM "klayout_doc.dtd">
+
+<doc>
+
+  <title>Choosing A Line Style</title>
+  <keyword name="Layer display"/>
+  <keyword name="Line Style"/>
+  <keyword name="Display specification"/>
+  <keyword name="Layer properties"/>
+
+  <p>
+  Line styles control how the outline of the shapes is drawn. 
+  The default is a solid line. Available line styles are dotted lines,
+  dashes lines and custom styles.
+  To choose a certain line style, select the layer or the layers for which to
+  change the style and choose the line style from the "Style"
+  panel.
+  </p>
+
+  <p>
+  New styles can be created with the "Custom Style" button. A line style editor
+  will come up that allows creating and editing of new styles. The predefined
+  pattern cannot be changed. To apply a new style, select "More" from the
+  style selection panel and choose the new style from the list.
+  The custom styles are saved with the layer display properties.
+  </p>
+
+</doc>
+