@topconsultnpm/sdkui-react-beta 6.15.55 → 6.15.56
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -28,12 +28,11 @@ export declare class DataGridSettings {
|
|
|
28
28
|
useNativeScrollbar: number;
|
|
29
29
|
}
|
|
30
30
|
export declare class ThemeSettings {
|
|
31
|
-
gutters: number;
|
|
32
31
|
fontSize: string;
|
|
33
32
|
gridSettings: DataGridSettings;
|
|
33
|
+
/** Calcola dinamicamente i gutters in base alla dimensione attuale della finestra. */
|
|
34
|
+
get gutters(): number;
|
|
34
35
|
constructor(skipCssUpdate?: boolean);
|
|
35
|
-
updateCssFontSize(): void;
|
|
36
|
-
updateGutters(): void;
|
|
37
36
|
/**
|
|
38
37
|
* Controlla la serializzazione JSON di questo oggetto.
|
|
39
38
|
* Escludiamo esplicitamente il getter 'gutters' dall'output, così non verrà mai salvato.
|
|
@@ -63,29 +63,24 @@ export class DataGridSettings {
|
|
|
63
63
|
}
|
|
64
64
|
}
|
|
65
65
|
export class ThemeSettings {
|
|
66
|
+
/** Calcola dinamicamente i gutters in base alla dimensione attuale della finestra. */
|
|
67
|
+
get gutters() {
|
|
68
|
+
return Gutters.getGutters();
|
|
69
|
+
}
|
|
66
70
|
constructor(skipCssUpdate = false) {
|
|
67
71
|
this.fontSize = FontSize.defaultFontSizeInPixel;
|
|
68
72
|
this.gridSettings = new DataGridSettings();
|
|
69
|
-
/** Calcola dinamicamente i gutters in base alla dimensione attuale della finestra. */
|
|
70
|
-
this.gutters = Gutters.getGutters(); // inizializza il valore stored
|
|
71
73
|
// Automatically update the CSS variable for font size
|
|
72
74
|
if (!skipCssUpdate) {
|
|
73
|
-
this.
|
|
75
|
+
document.documentElement.style.setProperty('--base-font-size', this.fontSize);
|
|
74
76
|
}
|
|
75
77
|
}
|
|
76
|
-
updateCssFontSize() {
|
|
77
|
-
document.documentElement.style.setProperty('--base-font-size', this.fontSize);
|
|
78
|
-
}
|
|
79
|
-
updateGutters() {
|
|
80
|
-
this.gutters = Gutters.getGutters();
|
|
81
|
-
}
|
|
82
78
|
/**
|
|
83
79
|
* Controlla la serializzazione JSON di questo oggetto.
|
|
84
80
|
* Escludiamo esplicitamente il getter 'gutters' dall'output, così non verrà mai salvato.
|
|
85
81
|
*/
|
|
86
82
|
toJSON() {
|
|
87
83
|
return {
|
|
88
|
-
// gutters: this.gutters,
|
|
89
84
|
fontSize: this.fontSize,
|
|
90
85
|
gridSettings: this.gridSettings,
|
|
91
86
|
};
|