This file is indexed.

/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;
});