2019-01-31 21:35:51 +01:00
|
|
|
import {IThemeCustomSettings} from '../interfaces/itheme-custom-properties';
|
|
|
|
import {IDefaults} from '../interfaces/idefaults';
|
2018-08-29 21:30:40 +02:00
|
|
|
|
2018-12-23 17:35:38 +01:00
|
|
|
export interface IChangeType {
|
|
|
|
children: {
|
|
|
|
text: String;
|
|
|
|
}[];
|
|
|
|
}
|
2018-10-24 16:28:05 +02:00
|
|
|
export interface IPost {
|
|
|
|
title: String;
|
|
|
|
version: String;
|
2018-12-23 17:35:38 +01:00
|
|
|
fixed: IChangeType[];
|
|
|
|
new: IChangeType[];
|
|
|
|
breaking: IChangeType[];
|
2018-10-24 16:28:05 +02:00
|
|
|
}
|
2018-12-23 18:14:33 +01:00
|
|
|
export interface IPostNormalized {
|
|
|
|
title: String;
|
|
|
|
version: String;
|
|
|
|
fixed: String[];
|
|
|
|
new: String[];
|
|
|
|
breaking: String[];
|
|
|
|
}
|
2018-08-29 21:30:40 +02:00
|
|
|
export interface SettingsChangedMessage {
|
|
|
|
type: 'settingsChanged';
|
|
|
|
config: IThemeCustomSettings;
|
|
|
|
}
|
|
|
|
|
|
|
|
export interface SaveSettingsMessage {
|
|
|
|
type: 'saveSettings';
|
|
|
|
changes: {
|
|
|
|
[key: string]: any;
|
|
|
|
};
|
|
|
|
removes: string[];
|
|
|
|
scope: 'user' | 'workspace';
|
|
|
|
uri: string;
|
|
|
|
}
|
|
|
|
|
|
|
|
export type Message = SaveSettingsMessage | SettingsChangedMessage;
|
|
|
|
export type Invalidates = 'all' | 'config' | undefined;
|
|
|
|
|
|
|
|
export interface Bootstrap {
|
|
|
|
config: IThemeCustomSettings;
|
|
|
|
}
|
|
|
|
|
|
|
|
export interface SettingsBootstrap extends Bootstrap {
|
|
|
|
scope: 'user' | 'workspace';
|
|
|
|
scopes: ['user' | 'workspace', string][];
|
|
|
|
defaults: IDefaults;
|
|
|
|
}
|
|
|
|
|
|
|
|
declare global {
|
2018-12-23 17:35:38 +01:00
|
|
|
interface Window { bootstrap: Bootstrap | SettingsBootstrap | {}; }
|
2018-08-29 21:30:40 +02:00
|
|
|
}
|