File tree Expand file tree Collapse file tree 4 files changed +18
-0
lines changed
apps/minsky-electron/src/app/managers Expand file tree Collapse file tree 4 files changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -1121,10 +1121,12 @@ export class CommandsManager {
1121
1121
godleyTableShowValues,
1122
1122
godleyTableOutputStyle,
1123
1123
font,
1124
+ numBackups,
1124
1125
} = StoreManager . store . get ( 'preferences' ) ;
1125
1126
minsky . setGodleyDisplayValue ( godleyTableShowValues , godleyTableOutputStyle ) ;
1126
1127
minsky . multipleEquities ( enableMultipleEquityColumns ) ;
1127
1128
minsky . defaultFont ( font ) ;
1129
+ minsky . numBackups ( numBackups ) ;
1128
1130
RecentFilesManager . updateNumberOfRecentFilesToDisplay ( ) ;
1129
1131
}
1130
1132
Original file line number Diff line number Diff line change @@ -9,6 +9,7 @@ interface MinskyPreferences {
9
9
wrapLongEquationsInLatexExport : boolean ;
10
10
font : string ;
11
11
// focusFollowsMouse: boolean;
12
+ numBackups : number ;
12
13
}
13
14
14
15
interface MinskyStore {
@@ -31,6 +32,7 @@ class StoreManager {
31
32
wrapLongEquationsInLatexExport : false ,
32
33
font : "" ,
33
34
// focusFollowsMouse: false,
35
+ numBackups : 1 ,
34
36
} ,
35
37
} ,
36
38
} ) ;
Original file line number Diff line number Diff line change 69
69
/>
70
70
</ div >
71
71
72
+ < div class ="form-control ">
73
+ < label for ="numBackups "
74
+ > Number of saved file backups</ label
75
+ >
76
+ < input
77
+ formControlName ="numBackups "
78
+ type ="number "
79
+ class ="numBackups "
80
+ id ="numBackups "
81
+ value ="1 "
82
+ />
83
+ </ div >
84
+
72
85
< div class ="form-control ">
73
86
< label for ="wrapLongEquationsInLatexExport "
74
87
> Wrap long equations in LaTeX export</ label
Original file line number Diff line number Diff line change @@ -30,6 +30,7 @@ export class PreferencesComponent implements OnInit {
30
30
wrapLongEquationsInLatexExport : new FormControl ( null ) ,
31
31
// focusFollowsMouse: new FormControl(null),
32
32
font : new FormControl ( null ) ,
33
+ numBackups : new FormControl ( null ) ,
33
34
} ) ;
34
35
}
35
36
async ngOnInit ( ) {
You can’t perform that action at this time.
0 commit comments