import { editor as Monaco } from 'monaco-editor'; import { Button, REPL } from '@kui-shell/core'; import { File } from '@kui-shell/plugin-bash-like/fs'; export default function SaveFileButton(editor: Monaco.ICodeEditor, repl: REPL, response: File, onSave: (success: boolean) => void): Button;