diff --git a/src/common/common.tsx b/src/common/common.tsx index 2ba14b62..c0e249a6 100644 --- a/src/common/common.tsx +++ b/src/common/common.tsx @@ -257,6 +257,23 @@ class InfoMessage extends React.Component<{ width: number; children: React.React } } +function LinkRenderer(props: any): any { + let newUrl = "https://extern?" + encodeURIComponent(props.href); + return ( + + {props.children} + + ); +} + +function HeaderRenderer(props: any, hnum: number): any { + return
{props.children}
; +} + +function CodeRenderer(props: any): any { + return {props.children}; +} + @mobxReact.observer class Markdown extends React.Component<{ text: string; style?: any; extraClassName?: string }, {}> { render() { diff --git a/src/index.ts b/src/index.ts index 7cc8f2be..f39b4898 100644 --- a/src/index.ts +++ b/src/index.ts @@ -11,7 +11,7 @@ let VERSION = __PROMPT_VERSION__; // @ts-ignore let BUILD = __PROMPT_BUILD__; -loadFonts(); +//loadFonts(); document.addEventListener("DOMContentLoaded", () => { let reactElem = React.createElement(Main, null, null); diff --git a/src/main/sidebar/MainSideBar.tsx b/src/main/sidebar/MainSideBar.tsx index c0e6ed7d..cd6aa5a4 100644 --- a/src/main/sidebar/MainSideBar.tsx +++ b/src/main/sidebar/MainSideBar.tsx @@ -164,7 +164,10 @@ class MainSideBar extends React.Component<{}, {}> { ^⌘ {index + 1} {session.name.get()} - this.openSessionSettings(e, session)} /> + this.openSessionSettings(e, session)} + /> ); }); diff --git a/src/main/sidebar/sidebar.less b/src/main/sidebar/sidebar.less index 333f5802..38580b1c 100644 --- a/src/main/sidebar/sidebar.less +++ b/src/main/sidebar/sidebar.less @@ -102,10 +102,6 @@ display: inline-block; vertical-align: middle; border-radius: 50%; - visibility: hidden; - } - &:hover .icon { - visibility: visible; } .hotkey { float: right; @@ -116,15 +112,24 @@ &:hover .hotkey { visibility: visible; } + .actions { + visibility: hidden; + } + &:hover .actions { + visibility: visible; + } .add_workspace { float: right; - width: 20px; - height: 20px; + width: 1.5rem; + height: 1.5rem; padding: 2px; margin-right: 6px; border-radius: 50%; transition: transform 0.3s ease-in-out; vertical-align: middle; + svg { + fill: @base-color; + } } } diff --git a/static/index-dev.html b/static/index-dev.html index fffa0da1..151e9711 100644 --- a/static/index-dev.html +++ b/static/index-dev.html @@ -5,7 +5,6 @@ - diff --git a/static/index.html b/static/index.html index 1e63ebe2..2c321bd2 100644 --- a/static/index.html +++ b/static/index.html @@ -5,7 +5,6 @@ -