|
|
@@ -588,22 +588,6 @@ define [
|
|
|
{doc, line} = data
|
|
|
ide.editorManager.openDoc(doc, gotoLine: line)
|
|
|
|
|
|
- $scope.switchToFlatLayout = () ->
|
|
|
- $scope.ui.pdfLayout = 'flat'
|
|
|
- $scope.ui.view = 'pdf'
|
|
|
- ide.localStorage "pdf.layout", "flat"
|
|
|
-
|
|
|
- $scope.switchToSideBySideLayout = () ->
|
|
|
- $scope.ui.pdfLayout = 'sideBySide'
|
|
|
- $scope.ui.view = 'editor'
|
|
|
- localStorage "pdf.layout", "split"
|
|
|
-
|
|
|
- if pdfLayout = localStorage("pdf.layout")
|
|
|
- $scope.switchToSideBySideLayout() if pdfLayout == "split"
|
|
|
- $scope.switchToFlatLayout() if pdfLayout == "flat"
|
|
|
- else
|
|
|
- $scope.switchToSideBySideLayout()
|
|
|
-
|
|
|
App.factory "synctex", ["ide", "$http", "$q", (ide, $http, $q) ->
|
|
|
# enable per-user containers by default
|
|
|
perUserCompile = true
|