/usr/share/stellarium/webroot/js/settings.js is in stellarium-data 0.15.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | //This includes some easily changeable properties of the interface
define(function() {
"use strict";
var data = {};
// Automatically poll the server for updates? Otherwise, only updated after commands are sent.
data.updatePoll = true;
//the interval for automatic polling
data.updateInterval = 1000;
//use the Browser's requestAnimationFrame for animation instead of setTimeout
data.useAnimationFrame = true;
//If animation frame is not used, this is the delay between 2 animation steps
data.animationDelay = 500;
//If no user changes happen after this time, the changes are sent to the Server
data.editUpdateDelay = 500;
//This is the delay after which the AJAX request spinner is shown.
data.spinnerDelay = 100;
return data;
});
|