fish-shell/share/tools/web_config/js/controllers.js

445 lines
16 KiB
JavaScript
Raw Normal View History

controllers = angular.module("controllers", []);
controllers.controller("main", function($scope, $location) {
// substr(1) strips a leading slash
$scope.currentTab = $location.path().substr(1) || "colors";
$scope.changeView = function(view) {
$location.path(view);
$scope.currentTab = view;
}
})
controllers.controller("colorsController", function($scope, $http) {
$scope.changeSelectedColorScheme= function(newScheme) {
$scope.selectedColorScheme = angular.copy(newScheme);
if ($scope.selectedColorScheme.preferred_background) {
$scope.terminalBackgroundColor = $scope.selectedColorScheme.preferred_background;
}
$scope.selectedColorSetting = false;
$scope.customizationActive = false;
$scope.csEditingType = false;
$scope.colorArraysArray = $scope.getColorArraysArray();
//TODO: Save button should be shown only when colors are changed
$scope.showSaveButton = true;
2017-01-16 06:51:10 +08:00
$scope.noteThemeChanged();
}
$scope.changeTerminalBackgroundColor = function(color) {
$scope.terminalBackgroundColor = color;
}
$scope.text_color_for_color = text_color_for_color;
2017-01-16 06:51:10 +08:00
$scope.border_color_for_color = border_color_for_color;
$scope.interpret_color = interpret_color;
$scope.getColorArraysArray = function() {
var result = null;
if ( $scope.selectedColorScheme.colors && $scope.selectedColorScheme.colors.length > 0)
result = get_colors_as_nested_array($scope.selectedColorScheme.colors, 32);
else
result = get_colors_as_nested_array(term_256_colors, 32);
return result;
}
2017-01-16 06:51:10 +08:00
$scope.beginCustomizationWithSetting = function(setting) {
if (! $scope.customizationActive) {
$scope.customizationActive = true;
$scope.selectedColorSetting = setting;
$scope.csEditingType = setting;
$scope.csUserVisibleTitle = user_visible_title_for_setting_name(setting);
}
}
2017-01-16 06:51:10 +08:00
$scope.selectColorSetting = function(name) {
$scope.selectedColorSetting = name;
$scope.csEditingType = $scope.customizationActive ? name : '';
$scope.csUserVisibleTitle = user_visible_title_for_setting_name(name);
$scope.beginCustomizationWithSetting(name);
}
2017-01-16 06:51:10 +08:00
$scope.toggleCustomizationActive = function() {
if (! $scope.customizationActive) {
$scope.beginCustomizationWithSetting($scope.selectedColorSetting || 'command');
} else {
$scope.customizationActive = false;
$scope.selectedColorSetting = '';
$scope.csEditingType = '';
}
}
$scope.changeSelectedTextColor = function(color) {
$scope.selectedColorScheme[$scope.selectedColorSetting] = color;
$scope.selectedColorScheme["colordata-" + $scope.selectedColorSetting].color = color;
$scope.noteThemeChanged();
}
$scope.sampleTerminalBackgroundColors = ['white', '#' + solarized.base3, '#300', '#003', '#' + solarized.base03, '#232323', '#'+nord.nord0, 'black'];
/* Array of FishColorSchemes */
$scope.colorSchemes = [];
isValidColor = function(col) {
if (col == "normal") return true;
var s = new Option().style;
s.color = col;
return !!s.color;
}
$scope.getThemes = function() {
$http.get("colors/").then(function(arg) {
for (var scheme of arg.data) {
var currentScheme = { "name": "Current", "colors":[], "preferred_background": "black" };
currentScheme["name"] = scheme["theme"];
if (scheme["name"]) currentScheme["name"] = scheme["name"];
var data = scheme["colors"];
if (scheme["preferred_background"]) {
if (isValidColor(scheme["preferred_background"])) {
currentScheme["preferred_background"] = scheme["preferred_background"];
}
}
if (scheme["url"]) currentScheme["url"] = scheme["url"];
var cols = [];
for (var i in data) {
currentScheme[data[i].name] = data[i].color;
// HACK: For some reason the colors array is cleared later
// So we cheesily encode the actual objects as colordata-, so we can send them.
// TODO: We should switch to keeping the objects, and also displaying them
// with underlines and such.
currentScheme["colordata-" + data[i].name] = data[i];
}
$scope.colorSchemes.push(currentScheme);
}
$scope.changeSelectedColorScheme($scope.colorSchemes[0]);
})};
2013-10-13 16:20:21 +08:00
$scope.saveThemeButtonTitle = "Set Theme";
2017-01-16 06:51:10 +08:00
$scope.noteThemeChanged = function() {
$scope.saveThemeButtonTitle = "Set Theme";
}
$scope.setTheme = function() {
var settingNames = ["normal",
"command",
"quote",
"redirection",
"end",
"error",
"param",
"comment",
"match",
"selection",
"search_match",
"history_current",
"operator",
"escape",
"cwd",
"cwd_root",
"valid_path",
"autosuggestion",
"user",
"host",
2018-11-29 22:18:00 +08:00
"cancel",
// Cheesy hardcoded variable names ahoy!
// These are all the pager vars,
// we should really just save all these in a dictionary.
"fish_pager_color_background",
"fish_pager_color_prefix",
"fish_pager_color_progress",
2018-11-29 22:18:00 +08:00
"fish_pager_color_completion",
"fish_pager_color_description",
"fish_pager_color_selected_background",
"fish_pager_color_selected_prefix",
"fish_pager_color_selected_completion",
"fish_pager_color_selected_description",
// TODO: Setting these to empty currently makes them weird. Figure out why!
/*
"fish_pager_color_secondary_background",
"fish_pager_color_secondary_prefix",
"fish_pager_color_secondary_completion",
"fish_pager_color_secondary_description",
*/
];
var remaining = settingNames.length;
var postdata = {
"theme" : $scope.selectedColorScheme["name"],
"colors": [],
}
for (var name of settingNames) {
var selected;
var realname = "colordata-" + name;
// Skip colors undefined in the current theme
// js is dumb - the empty string is false,
// but we want that to mean unsetting a var.
if (!$scope.selectedColorScheme[realname] && $scope.selectedColorScheme[realname] !== '') {
selected = '';
} else {
selected = $scope.selectedColorScheme[realname];
}
postdata.colors.push({
"what" : name,
"color" : selected,
});
}
$http.post("set_color/", postdata, { headers: {'Content-Type': 'application/json'} }).then(function(arg) {
if (arg.status == 200) {
$scope.saveThemeButtonTitle = "Theme Set!";
}
})
};
$scope.getThemes();
});
controllers.controller("promptController", function($scope, $http) {
$scope.selectedPrompt = null;
$scope.showSaveButton = true;
$scope.savePromptButtonTitle = "Set Prompt";
2013-09-08 02:52:43 +08:00
$scope.fetchSamplePrompts= function() {
$http.get("sample_prompts/").then(function(arg) {
$scope.samplePrompts = arg.data;
2013-11-09 20:56:44 +08:00
if ($scope.selectedPrompt == null) {
$scope.selectPrompt($scope.samplePrompts[0]);
}
})};
2013-09-08 02:52:43 +08:00
$scope.selectPrompt = function(prompt) {
$scope.selectedPrompt = prompt;
2017-01-16 06:51:10 +08:00
$scope.savePromptButtonTitle = "Set Prompt";
}
2013-08-18 22:18:32 +08:00
$scope.setNewPrompt = function(selectedPrompt) {
$http.post("set_prompt/", {'fish_prompt': selectedPrompt.function,}).then(function(arg){
2013-11-09 20:56:44 +08:00
// Update attributes of current prompt and select it
2013-11-09 20:56:44 +08:00
$scope.samplePrompts[0].demo = selectedPrompt.demo;
$scope.samplePrompts[0].right = selectedPrompt.right;
2013-11-09 20:56:44 +08:00
$scope.samplePrompts[0].function = selectedPrompt.function;
$scope.samplePrompts[0].font_size = selectedPrompt.font_size;
$scope.selectedPrompt = $scope.samplePrompts[0];
// Note that we set it
$scope.savePromptButtonTitle = "Prompt Set!";
2013-08-18 22:18:32 +08:00
})};
2013-09-08 02:52:43 +08:00
$scope.fetchSamplePrompts();
$scope.setPrompt = function() {
if ($scope.selectedPrompt) {
$scope.setNewPrompt($scope.selectedPrompt);
}
}
});
controllers.controller("functionsController", function($scope, $http) {
$scope.selectedFunction = null;
2017-01-16 06:51:10 +08:00
$scope.functionDefinition = "";
$scope.selectFunction = function(fun) {
$scope.selectedFunction = fun;
$scope.fetchFunctionDefinition($scope.selectedFunction);
}
$scope.fetchFunctions= function() {
$http.get("functions/").then(function(arg) {
$scope.functions = arg.data;
$scope.selectFunction($scope.functions[0]);
})};
2013-09-08 01:27:25 +08:00
$scope.cleanupFishFunction = function (contents) {
/* Replace leading tabs and groups of four spaces at the beginning of a line with two spaces. */
var lines = contents ? contents.split('\n') : [];
var rx = /^[\t ]+/
2013-09-08 01:27:25 +08:00
for (var i=0; i < lines.length; i++) {
var line = lines[i]
2013-09-08 01:27:25 +08:00
/* Get leading tabs and spaces */
var whitespace_arr = rx.exec(line)
2013-09-08 01:27:25 +08:00
if (whitespace_arr) {
/* Replace four spaces with two spaces, and tabs with two spaces */
var whitespace = whitespace_arr[0]
var new_whitespace = whitespace.replace(/( )|(\t)/g, ' ')
2013-09-08 01:27:25 +08:00
lines[i] = new_whitespace + line.slice(whitespace.length)
}
}
return lines.join('\n')
2013-09-08 01:27:25 +08:00
}
2013-09-08 02:52:43 +08:00
$scope.fetchFunctionDefinition = function(name) {
$http.post("get_function/","what=" + name, { headers: {'Content-Type': 'application/x-www-form-urlencoded'} }).then(function(arg) {
$scope.functionDefinition = $scope.cleanupFishFunction(arg.data[0]);
})};
2013-09-08 02:52:43 +08:00
$scope.fetchFunctions();
});
controllers.controller("variablesController", function($scope, $http) {
$scope.query = null;
2013-09-08 02:52:43 +08:00
$scope.fetchVariables= function() {
$http.get("variables/").then(function(arg) {
$scope.variables = arg.data;
})};
$scope.fetchVariables();
});
controllers.controller("historyController", function($scope, $http, $timeout) {
2018-09-09 15:26:38 +08:00
// All history items, as strings.
$scope.allItems = [];
// How many items per page.
$scope.itemsPerPage = 50;
// Filtered items grouped into pages. A list of lists. Never empty.
$scope.filteredItemPages = [[]];
// The current page index (0 based).
$scope.currentPage = 0;
// The filter query.
$scope.query = "";
// The items which are selected.
$scope.selectedItems = [];
2013-10-12 20:17:43 +08:00
2018-09-09 15:26:38 +08:00
// Filter all of our items, and group them into pages.
$scope.filterAndGroup = function () {
// Filter items.
var filteredItems;
if ($scope.query && $scope.query.length > 0) {
filteredItems = $scope.allItems.filter(function(item) {
return item.indexOf($scope.query) >= 0;
});
} else {
filteredItems = $scope.allItems;
2013-10-12 20:17:43 +08:00
}
2018-09-09 15:26:38 +08:00
// Group them by pages. Ensure our pages are never empty.
var pages = [];
for (var start = 0; start < filteredItems.length; start += $scope.itemsPerPage) {
var end = Math.min(start + $scope.itemsPerPage, filteredItems.length);
pages.push(filteredItems.slice(start, end));
2013-10-12 20:17:43 +08:00
}
2018-09-09 15:26:38 +08:00
if (pages.length == 0) {
pages.push([]);
}
$scope.filteredItemPages = pages;
};
2013-10-12 20:17:43 +08:00
2018-09-09 15:26:38 +08:00
$scope.currentPageDescription = function() {
if ($scope.filteredItemPages[0].length === 0) {
return "None";
}
return ($scope.currentPage + 1) + " / " + $scope.filteredItemPages.length;
2018-09-09 15:26:38 +08:00
};
$scope.prevPage = function () {
$scope.currentPage = Math.max($scope.currentPage - 1, 0);
};
2021-01-01 01:27:47 +08:00
2018-09-09 15:26:38 +08:00
$scope.nextPage = function () {
$scope.currentPage = Math.min($scope.currentPage + 1,
$scope.filteredItemPages.length - 1);
};
2013-10-12 20:17:43 +08:00
$scope.selectItem = function(item) {
var index = $scope.selectedItems.indexOf(item);
2018-09-09 15:26:38 +08:00
if (index >= 0) {
// Deselect.
$scope.selectedItems.splice(index,1);
}
else {
$scope.selectedItems.push(item);
}
}
2018-09-09 15:26:38 +08:00
2013-10-12 20:17:43 +08:00
// Get history from server
$scope.fetchHistory = function() {
$http.get("history/").then(function(arg) {
$scope.allItems = arg.data;
2018-09-09 15:26:38 +08:00
$scope.filterAndGroup();
});
};
2013-08-18 22:18:32 +08:00
$scope.deleteHistoryItem = function(item) {
2018-09-09 15:26:38 +08:00
index = $scope.allItems.indexOf(item);
$http.post("delete_history_item/","what=" + encodeURIComponent(item), { headers: {'Content-Type': 'application/x-www-form-urlencoded'} }).then(function(arg) {
2018-09-09 15:26:38 +08:00
$scope.allItems.splice(index, 1);
$scope.filterAndGroup();
2013-08-18 22:18:32 +08:00
})};
var queryInputTimeout = null;
$scope.$watch("queryInput", function() {
if (queryInputTimeout){
$timeout.cancel(queryInputTimeout);
}
queryInputTimeout = $timeout(function() {
$scope.query = $scope.queryInput;
2018-09-09 15:26:38 +08:00
$scope.filterAndGroup();
$scope.currentPage = 0;
}, 1000);
});
$scope.fetchHistory();
});
2013-10-13 21:06:46 +08:00
controllers.controller("bindingsController", function($scope, $http) {
2013-10-13 21:06:46 +08:00
$scope.bindings = [];
$scope.fetchBindings = function() {
$http.get("bindings/").then(function(arg) {
$scope.bindings = arg.data;
2013-10-13 21:06:46 +08:00
})};
$scope.fetchBindings();
});
controllers.controller("abbreviationsController", function($scope, $http) {
$scope.abbreviations = [];
$scope.addBlank = function() {
// Add blank entry if it is missing
var hasBlank = {hasBlank: false}
angular.forEach($scope.abbreviations, function(value, key) {
if (value.phrase === "" && value.word === "") {
this.hasBlank = true;
}
}, hasBlank);
if (!$scope.abbreviations) $scope.abbreviations = [];
if (! hasBlank.hasBlank) {
$scope.abbreviations.push({phrase: "", word: "", editable: true})
}
}
$scope.fetchAbbreviations = function() {
$http.get("abbreviations/").then(function(arg) {
$scope.abbreviations = arg.data;
$scope.addBlank();
})};
$scope.editAbbreviation = function(abbreviation) {
abbreviation.editable = true;
}
$scope.saveAbbreviation = function(abbreviation) {
if (abbreviation.word && abbreviation.phrase) {
$http.post("save_abbreviation/", abbreviation).then(function(arg) {
abbreviation.editable = false;
$scope.addBlank();
});
}
};
$scope.removeAbbreviation = function(abbreviation) {
if (abbreviation.word) {
$http.post("remove_abbreviation/", abbreviation).then(function(arg) {
$scope.abbreviations.splice($scope.abbreviations.indexOf(abbreviation), 1);
$scope.addBlank();
});
}
};
$scope.fetchAbbreviations();
});