@@ -41,7 +41,7 @@ module.exports = {
'no-undef': 'warn',
'no-case-declarations': 'warn',
'no-useless-escape': 'off',
- 'prefer-const': 'warn'
+ 'prefer-const': 'off'
},
settings: {
react: {
@@ -103,5 +103,5 @@ namespace Private {
/**
* The application clipboard instance.
*/
- export const instance = new MimeData();
+ export let instance = new MimeData();
}
@@ -283,7 +283,7 @@ namespace Private {
* The counter for new consoles.
- export const count = 1;
+ export let count = 1;
* Update the title of a console panel.
@@ -832,7 +832,7 @@ namespace Private {
* A counter for unique IDs.
- export const id = 0;
+ export let id = 0;
export function createRevertConfirmNode(
checkpoint: Contents.ICheckpointModel,
@@ -94,5 +94,5 @@ namespace Private {
* The incrementing id used for launcher widgets.
@@ -362,7 +362,7 @@ namespace Private {
* An incrementing counter for ids.
* The light terminal theme.