65966
|
1 |
'use strict';
|
|
2 |
|
65970
|
3 |
import * as os from 'os';
|
65968
|
4 |
import { ViewColumn, TextEditor, workspace } from 'vscode'
|
|
5 |
|
|
6 |
|
65970
|
7 |
/* platform information */
|
|
8 |
|
|
9 |
export function platform_is_windows(): boolean
|
|
10 |
{
|
|
11 |
return os.type().startsWith("Windows")
|
|
12 |
}
|
|
13 |
|
|
14 |
|
65968
|
15 |
/* Isabelle configuration */
|
65966
|
16 |
|
65968
|
17 |
export function get_configuration<T>(name: string): T
|
|
18 |
{
|
|
19 |
return workspace.getConfiguration("isabelle").get<T>(name)
|
|
20 |
}
|
|
21 |
|
|
22 |
export function get_color(color: string, light: boolean): string
|
|
23 |
{
|
|
24 |
const config = color + (light ? "_light" : "_dark") + "_color"
|
|
25 |
return get_configuration<string>(config)
|
|
26 |
}
|
|
27 |
|
|
28 |
|
|
29 |
/* text editor column */
|
65966
|
30 |
|
65967
|
31 |
export function other_column(active_editor: TextEditor | null): ViewColumn
|
65966
|
32 |
{
|
65967
|
33 |
if (!active_editor || active_editor.viewColumn === ViewColumn.Three) return ViewColumn.One
|
|
34 |
else if (active_editor.viewColumn === ViewColumn.One) return ViewColumn.Two
|
65966
|
35 |
else return ViewColumn.Three
|
|
36 |
}
|