r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

add lintWarning to user.js

Browse source
This commit is contained in:
MathuraMG 2016-08-12 15:33:23 -04:00
parent 018a8b970c
commit cc62ca23a3
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
server/models/user.js
View file

@ -13,7 +13,8 @@ const userSchema = new Schema({
fontSize: { type: Number, default: 18 }, fontSize: { type: Number, default: 18 },
indentationAmount: { type: Number, default: 2 }, indentationAmount: { type: Number, default: 2 },
isTabIndent: { type: Boolean, default: false }, isTabIndent: { type: Boolean, default: false },
autosave: { type: Boolean, default: true } autosave: { type: Boolean, default: true },
lintWarning: { type: Boolean, default: false }
} }
}, { timestamps: true }); }, { timestamps: true });