From a9d65b10b76c0ca46319e3e362723f34fe75f58e Mon Sep 17 00:00:00 2001
From: David Evans <davidje13@users.noreply.github.com>
Date: Fri, 24 Nov 2017 23:24:46 +0000
Subject: [PATCH] Add link to library page from editor

---
 index.html                     | 2 +-
 scripts/interface/Interface.js | 8 +++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 9de7191..742ff19 100644
--- a/index.html
+++ b/index.html
@@ -11,7 +11,7 @@
 	form-action 'none';
 ">
 
-<title>Sequence Diagram Plugin</title>
+<title>Sequence Diagram Library</title>
 <link rel="icon" href="favicon.png">
 
 <link href="https://fonts.googleapis.com/css?family=Vollkorn" rel="stylesheet">
diff --git a/scripts/interface/Interface.js b/scripts/interface/Interface.js
index 318455f..c819244 100644
--- a/scripts/interface/Interface.js
+++ b/scripts/interface/Interface.js
@@ -70,14 +70,20 @@ define([
 		}
 
 		buildOptionsLinks() {
+			const libLink = makeNode('a', {
+				'href': '.',
+				'target': '_blank',
+			});
+			libLink.appendChild(makeText('Library'));
+
 			const githubLink = makeNode('a', {
-				'class': 'github',
 				'href': 'https://github.com/davidje13/SequenceDiagram',
 				'target': '_blank',
 			});
 			githubLink.appendChild(makeText('GitHub'));
 
 			const options = makeNode('div', {'class': 'options links'});
+			options.appendChild(libLink);
 			options.appendChild(githubLink);
 			return options;
 		}