update campaign.schema.coffee also

This commit is contained in:
Szabolcs Gelencser 2015-02-27 18:16:16 +01:00
parent dde3e8cf8f
commit 58f2494c83

View file

@ -61,7 +61,7 @@ _.extend CampaignSchema.properties, {
adventurer: { type: 'boolean' }
practice: { type: 'boolean' }
adminOnly: { type: 'boolean' }
disableSpaces: { type: 'boolean' }
disableSpaces: { type: ['boolean','number'] }
hidesSubmitUntilRun: { type: 'boolean' }
hidesPlayButton: { type: 'boolean' }
hidesRunShortcut: { type: 'boolean' }
@ -70,7 +70,7 @@ _.extend CampaignSchema.properties, {
hidesCodeToolbar: { type: 'boolean' }
hidesRealTimePlayback: { type: 'boolean' }
backspaceThrottle: { type: 'boolean' }
lockDefaultCode: { type: 'boolean' }
lockDefaultCode: { type: ['boolean','number'] }
moveRightLoopSnippet: { type: 'boolean' }
realTimeSpeedFactor: { type: 'number' }
autocompleteFontSizePx: { type: 'number' }