diff --git a/src/app/common/elements/button.less b/src/app/common/elements/button.less index e02c5384f..be0677d81 100644 --- a/src/app/common/elements/button.less +++ b/src/app/common/elements/button.less @@ -67,6 +67,11 @@ } } + &.term-inline { + padding: 2px 8px; + border-radius: 3px; + } + &.disabled { opacity: 0.5; } diff --git a/src/app/common/elements/button.tsx b/src/app/common/elements/button.tsx index cdd218250..253ef2260 100644 --- a/src/app/common/elements/button.tsx +++ b/src/app/common/elements/button.tsx @@ -22,6 +22,7 @@ interface ButtonProps { style?: React.CSSProperties; autoFocus?: boolean; className?: string; + termInline?: boolean; } class Button extends React.Component { @@ -40,12 +41,31 @@ class Button extends React.Component { } render() { - const { leftIcon, rightIcon, theme, children, disabled, variant, color, style, autoFocus, className } = - this.props; + const { + leftIcon, + rightIcon, + theme, + children, + disabled, + variant, + color, + style, + autoFocus, + termInline, + className, + } = this.props; return ( + - {allowEditing && ( -
+ +
- )} - {allowEditing && ( -
+ +
- )} - + + + ); }; @@ -461,8 +484,16 @@ class SourceCodeRenderer extends React.Component< {this.getCodeEditor()} {isPreviewerAvailable && showPreview && this.getPreviewer()} - {this.getEditorControls()} - {message && this.getMessage()} +
+
+ +
+ {this.state.message.text} +
+
+
+ {this.getEditorControls()} +
); }