diff --git a/packages/ui-default/components/highlighter/highlighter.page.styl b/packages/ui-default/components/highlighter/highlighter.page.styl index 0df508732..9fd2deaa6 100644 --- a/packages/ui-default/components/highlighter/highlighter.page.styl +++ b/packages/ui-default/components/highlighter/highlighter.page.styl @@ -57,6 +57,12 @@ code border-radius: 0px !important background: none !important +.scratchpad-fill-button + display: none + +.mode--scratchpad .scratchpad-fill-button + display: inline-block + .token.tab:not(:empty), .token.cr, .token.lf, diff --git a/packages/ui-default/components/highlighter/highlighter.page.ts b/packages/ui-default/components/highlighter/highlighter.page.ts index 4b051d64a..da19c9cd2 100644 --- a/packages/ui-default/components/highlighter/highlighter.page.ts +++ b/packages/ui-default/components/highlighter/highlighter.page.ts @@ -1,4 +1,5 @@ import $ from 'jquery'; +import Notification from 'vj/components/notification'; import { AutoloadPage } from 'vj/misc/Page'; import { i18n, tpl } from 'vj/utils'; @@ -33,6 +34,31 @@ const highlighterPage = new AutoloadPage('highlighterPage', () => { $output.parent().prepend($(tpl`