Add link to library page from editor

This commit is contained in:
David Evans 2017-11-24 23:24:46 +00:00
parent dce39792ac
commit a9d65b10b7
2 changed files with 8 additions and 2 deletions

View File

@ -11,7 +11,7 @@
form-action 'none'; form-action 'none';
"> ">
<title>Sequence Diagram Plugin</title> <title>Sequence Diagram Library</title>
<link rel="icon" href="favicon.png"> <link rel="icon" href="favicon.png">
<link href="https://fonts.googleapis.com/css?family=Vollkorn" rel="stylesheet"> <link href="https://fonts.googleapis.com/css?family=Vollkorn" rel="stylesheet">

View File

@ -70,14 +70,20 @@ define([
} }
buildOptionsLinks() { buildOptionsLinks() {
const libLink = makeNode('a', {
'href': '.',
'target': '_blank',
});
libLink.appendChild(makeText('Library'));
const githubLink = makeNode('a', { const githubLink = makeNode('a', {
'class': 'github',
'href': 'https://github.com/davidje13/SequenceDiagram', 'href': 'https://github.com/davidje13/SequenceDiagram',
'target': '_blank', 'target': '_blank',
}); });
githubLink.appendChild(makeText('GitHub')); githubLink.appendChild(makeText('GitHub'));
const options = makeNode('div', {'class': 'options links'}); const options = makeNode('div', {'class': 'options links'});
options.appendChild(libLink);
options.appendChild(githubLink); options.appendChild(githubLink);
return options; return options;
} }