| Index: masters/master.chromium/templates/console.html
|
| diff --git a/masters/master.chromium/templates/console.html b/masters/master.chromium/templates/console.html
|
| index 89d4815576fb23ebcb55ea05bbd437e0c48b1833..7a0c90288a798a97f489a014fbf43fd21c0023f0 100644
|
| --- a/masters/master.chromium/templates/console.html
|
| +++ b/masters/master.chromium/templates/console.html
|
| @@ -71,6 +71,25 @@ function checkMouseLeave(element, event) {
|
| }
|
| }
|
|
|
| +// Returns the value of a GET parameter, or null if it does not exist.
|
| +function readGetParameter(name) {
|
| + var begin = name + '=';
|
| + var data = location.search;
|
| + if (data === '') {
|
| + return null;
|
| + }
|
| + // Location starts with "?".
|
| + data = data.substr(1);
|
| + var parameters = data.split('&');
|
| + var foundElement = parameters.find( (parameter) => {
|
| + return parameter.indexOf(begin) == 0;
|
| + });
|
| + if (foundElement) {
|
| + return decodeURIComponent(foundElement.substr(begin.length));
|
| + }
|
| + return null;
|
| +}
|
| +
|
| // Creates a new cookie.
|
| function createCookie(name, value, day) {
|
| var date = new Date();
|
| @@ -79,7 +98,7 @@ function createCookie(name, value, day) {
|
| document.cookie = name + "=" + value+expires + "; path=/";
|
| }
|
|
|
| -// Returns the vaue of a cookie, or null if it does not exist.
|
| +// Returns the value of a cookie, or null if it does not exist.
|
| function readCookie(name) {
|
| var begin = name + "=";
|
| var data = document.cookie.split(';');
|
| @@ -271,6 +290,22 @@ function unmerge() {
|
| }
|
|
|
| function SetupView() {
|
| + // Allow override cookies with Get parameters.
|
| + var getMerged = readGetParameter('merged');
|
| + if (getMerged === 'true') {
|
| + createCookie('merged', 'true', 30);
|
| + }
|
| + if (getMerged === 'false') {
|
| + eraseCookie('merged');
|
| + }
|
| + var getCollapsed = readGetParameter('collapsed');
|
| + if (getCollapsed === 'true') {
|
| + createCookie('collapsed', 'true', 30);
|
| + }
|
| + if (getCollapsed === 'false') {
|
| + eraseCookie('collapsed');
|
| + }
|
| +
|
| if (readCookie('merged')) {
|
| merge();
|
| } else if (readCookie('collapsed')) {
|
|
|