Haftungsausschluß.ts KontaktScala {Scala[51] Lisp[107] CS[109]}diese Dinge liegen außhalb unserer Verantwortung
'use strict';
import * as os from 'os';
import { TextEditor, Uri, ViewColumn, workspace, window } from 'vscode'
/* regular expressions */
export function escape_regex(s: string): string
{
return s.replace(/[|\\{}()[\]^$+*?.]/g, "\\$&")
}
/* platform information */
export function platform_is_windows(): boolean
{
return os.type().startsWith("Windows")
}
/* files */
export function is_file(uri: Uri): boolean
{
return uri.scheme === "file"
}
export function find_file_editor(uri: Uri): TextEditor | undefined
{
function check(editor: TextEditor): boolean
{ return editor && is_file(editor.document.uri) && editor.document.uri.fsPath === uri.fsPath }
if (is_file(uri)) {
if (check(window.activeTextEditor)) return window.activeTextEditor
else return window.visibleTextEditors.find(check)
}
else return undefined
}
/* Isabelle configuration */
export function get_configuration<T>(name: string): T
{
return workspace.getConfiguration("isabelle").get<T>(name)
}
export function get_color(color: string, light: boolean): string
{
const config = color + (light ? "_light" : "_dark") + "_color"
return get_configuration<string>(config)
}
/* GUI */
export function adjacent_editor_column(editor: TextEditor, split: boolean): ViewColumn
{
if (!editor) return ViewColumn.One
else if (!split) return editor.viewColumn
else if (editor.viewColumn === ViewColumn.One || editor.viewColumn === ViewColumn.Three)
return ViewColumn.Two
else return ViewColumn.Three
}
[ Seitenstruktur0.202Drucken
]
