client/templates/edgeeditor.html
changeset 458 423bdf56d103
parent 434 0d5998b32a7c
child 459 98cae534083d
--- a/client/templates/edgeeditor.html	Mon Jun 01 11:53:03 2015 +0200
+++ b/client/templates/edgeeditor.html	Tue Jun 02 00:39:47 2015 +0200
@@ -31,6 +31,7 @@
 <% } } %>
 <% if (options.show_edge_editor_color) { %>
     <div class="Rk-Editor-p">
+      <div id="Rk-Editor-p-color">
         <span class="Rk-Editor-Label"><%-renkan.translate("Edge color:")%></span>
         <div class="Rk-Edit-ColorPicker-Wrapper">
             <span class="Rk-Edit-Color" style="background: &lt;%-edge.color%>;">
@@ -39,6 +40,11 @@
             <%= renkan.colorPicker %>
             <span class="Rk-Edit-ColorPicker-Text"><%- renkan.translate("Choose color") %></span>
         </div>
+      </div>
+      <div id="Rk-Editor-p-dash">
+        <span class="Rk-Editor-Label"><%-renkan.translate("Dash:")%></span>
+        <input type="checkbox" name="Rk-Edit-Dash" class="Rk-Edit-Dash" <%- edge.dash %> />
+      </div>
     </div>
 <% } %>
 <% if (options.show_edge_editor_direction) { %>