feat(editor): add link to gosling-lang.org to editor header (#855)

* feat(editor): add link to gosling-lang.org to editor header * feat(editor): Make link to gosling-lang.org open in new tab Co-authored-by: Sehi L'Yi <[email protected]> * fix(editor): Add rel so support older browsers --------- Co-authored-by: Sehi L'Yi <[email protected]>
gosling-lang · Mar 30, 2023 · 6964671 · 6964671
1 parent c1e55ec
commit 6964671
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 11 deletions.
diff --git a/editor/editor.css b/editor/editor.css
@@ -6,6 +6,9 @@ button {
 .demo-navbar {
  /* color: white; */
  /* background-color: #24292F; */
+ display: flex;
+ flex-direction: row;
+ align-items: center;
  border-bottom: 1px solid lightgray;
  font-weight: bold;
  padding-left: 10px;
@@ -39,23 +42,13 @@ button {
 }
 
 .description-button {
- position: fixed;
- right: 0;
- top: 0;
  color: #e18343;
- display: inline-block;
- vertical-align: middle;
- padding-top: 8px;
- padding-left: 8px;
- padding-right: 8px;
- margin-left: 10px;
+ margin-right: 8px;
  cursor: pointer;
  background-color: white;
 }
 
 .editor-nav-button {
- display: inline-block;
- vertical-align: middle;
  height: 100%;
  padding-top: 8px;
  padding-left: 8px;
@@ -70,6 +63,11 @@ button {
  font-weight: 400;
  color: #e18343;
  cursor: pointer;
+ margin-right: auto;
+}
+
+.mr-1 {
+ margin-right: 1rem;
 }
 
 .demo-navbar select {
@@ -86,6 +84,10 @@ button {
  -webkit-appearance: none;
 }
 
+.demo-navbar a {
+ color: #000;
+}
+
 .demo-navbar select:focus {
  outline: none;
 }

diff --git a/editor/editor.tsx b/editor/editor.tsx
@@ -776,6 +776,9 @@ function Editor(props: RouteComponentProps) {
  </span>
  ) : null}
  <input type="hidden" id="spec-url-exporter" />
+ <a href="http://gosling-lang.org/" title="Go to the Gosling Project" className="mr-1" target="_blank" rel="noreferrer">
+ Gosling Project
+ </a>
  {description ? (
  <button title="Open Textual Description" className="description-button" onClick={openDescription}>
  {getIconSVG(ICONS.INFO_CIRCLE, 23, 23)}