| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091 |
- define [
- "base"
- ], (App) ->
- App.controller "SettingsController", ["$scope", "settings", "ide", ($scope, settings, ide) ->
- if $scope.settings.mode not in ["default", "vim", "emacs"]
- $scope.settings.mode = "default"
-
- if $scope.settings.pdfViewer not in ["pdfjs", "native"]
- $scope.settings.pdfViewer = "pdfjs"
- if $scope.settings.fontFamily? and $scope.settings.fontFamily not in ["monaco", "lucida"]
- delete $scope.settings.fontFamily
- if $scope.settings.lineHeight? and $scope.settings.lineHeight not in ["compact", "normal", "wide"]
- delete $scope.settings.lineHeight
- $scope.fontSizeAsStr = (newVal) ->
- if newVal?
- $scope.settings.fontSize = newVal
- return $scope.settings.fontSize.toString()
- $scope.$watch "settings.theme", (theme, oldTheme) =>
- if theme != oldTheme
- settings.saveSettings({theme: theme})
- $scope.$watch "settings.fontSize", (fontSize, oldFontSize) =>
- if fontSize != oldFontSize
- settings.saveSettings({fontSize: parseInt(fontSize, 10)})
- $scope.$watch "settings.mode", (mode, oldMode) =>
- if mode != oldMode
- settings.saveSettings({mode: mode})
- $scope.$watch "settings.autoComplete", (autoComplete, oldAutoComplete) =>
- if autoComplete != oldAutoComplete
- settings.saveSettings({autoComplete: autoComplete})
- $scope.$watch "settings.autoPairDelimiters", (autoPairDelimiters, oldAutoPairDelimiters) =>
- if autoPairDelimiters != oldAutoPairDelimiters
- settings.saveSettings({autoPairDelimiters: autoPairDelimiters})
- $scope.$watch "settings.pdfViewer", (pdfViewer, oldPdfViewer) =>
- if pdfViewer != oldPdfViewer
- settings.saveSettings({pdfViewer: pdfViewer})
- $scope.$watch "settings.syntaxValidation", (syntaxValidation, oldSyntaxValidation) =>
- if syntaxValidation != oldSyntaxValidation
- settings.saveSettings({syntaxValidation: syntaxValidation})
- $scope.$watch "settings.fontFamily", (fontFamily, oldFontFamily) =>
- if fontFamily != oldFontFamily
- settings.saveSettings({fontFamily: fontFamily})
- $scope.$watch "settings.lineHeight", (lineHeight, oldLineHeight) =>
- if lineHeight != oldLineHeight
- settings.saveSettings({lineHeight: lineHeight})
- $scope.$watch "project.spellCheckLanguage", (language, oldLanguage) =>
- return if @ignoreUpdates
- if oldLanguage? and language != oldLanguage
- settings.saveProjectSettings({spellCheckLanguage: language})
- # Also set it as the default for the user
- settings.saveSettings({spellCheckLanguage: language})
- $scope.$watch "project.compiler", (compiler, oldCompiler) =>
- return if @ignoreUpdates
- if oldCompiler? and compiler != oldCompiler
- settings.saveProjectSettings({compiler: compiler})
- $scope.$watch "project.rootDoc_id", (rootDoc_id, oldRootDoc_id) =>
- return if @ignoreUpdates
- # don't save on initialisation, Angular passes oldRootDoc_id as
- # undefined in this case.
- return if typeof oldRootDoc_id is "undefined"
- # otherwise only save changes, null values are allowed
- if (rootDoc_id != oldRootDoc_id)
- settings.saveProjectSettings({rootDocId: rootDoc_id})
- ide.socket.on "compilerUpdated", (compiler) =>
- @ignoreUpdates = true
- $scope.$apply () =>
- $scope.project.compiler = compiler
- delete @ignoreUpdates
- ide.socket.on "spellCheckLanguageUpdated", (languageCode) =>
- @ignoreUpdates = true
- $scope.$apply () =>
- $scope.project.spellCheckLanguage = languageCode
- delete @ignoreUpdates
- ]
|