SYMBOL INDEX (39 symbols across 3 files)

FILE: source/modules/app.js
  method installTheme (line 10) | installTheme(theme) {
  method setTheme (line 14) | setTheme(theme) {
  method loadTheme (line 28) | loadTheme() {
  function isWelcomeHidden (line 53) | function isWelcomeHidden() {
  method get (line 66) | get() {
  method set (line 76) | set(newUserName) {
  function replaceTagsWithEntities (line 91) | function replaceTagsWithEntities(text) {
  function setFocus (line 95) | function setFocus() {
  function getIpInfo (line 101) | async function getIpInfo(ip = '') {
  function wrapFirstWord (line 115) | function wrapFirstWord(sentence) {
  function autoScroll (line 131) | function autoScroll() {
  function pushCommand (line 135) | function pushCommand(command, displayCommand = true, sudo = false) {
  function pushCommandScript (line 389) | function pushCommandScript(command, sudo = false) {
  function setDefaultPromptValue (line 409) | function setDefaultPromptValue(name, defaultValue) {
  function getCommandHistory (line 464) | function getCommandHistory() {
  function clearCommandHistory (line 468) | function clearCommandHistory() {

FILE: source/modules/fp-api.js
  function fingerprint (line 3) | function fingerprint() {
  function getWebGLVendor (line 35) | function getWebGLVendor() {
  function getWebGLRenderer (line 42) | function getWebGLRenderer() {
  function getWebGLVersion (line 49) | function getWebGLVersion() {
  function isWebAudioAPISupported (line 56) | function isWebAudioAPISupported() { return typeof window.AudioContext !=...
  function isMIDIAPIAvailable (line 58) | function isMIDIAPIAvailable() { return typeof navigator.requestMIDIAcces...
  function isWebSocketsSupported (line 60) | function isWebSocketsSupported() { return 'WebSocket' in window ? 'Suppo...
  function isBatteryAPISupported (line 62) | function isBatteryAPISupported() { return navigator.getBattery ? 'Suppor...
  function isWebVRAPIAvailable (line 64) | function isWebVRAPIAvailable() { return 'getVRDisplays' in navigator ? '...
  function isWebXRAPIAvailable (line 66) | function isWebXRAPIAvailable() { return 'xr' in navigator ? 'Supported' ...
  function getMaxAudioContextChannels (line 68) | function getMaxAudioContextChannels() {
  function isChromium (line 79) | function isChromium() { return typeof window.chrome == 'object'; }
  function isOpera (line 81) | function isOpera() { return typeof window.opera == 'object'; }

FILE: source/modules/io-fs.js
  class FileSystem (line 3) | class FileSystem {
    method constructor (line 4) | constructor() {
    method createFile (line 11) | createFile(name, content = '') {
    method deleteFile (line 25) | deleteFile(name) {
    method readFile (line 39) | readFile(name) {
    method writeFile (line 51) | writeFile(name, content) {
    method saveFiles (line 65) | saveFiles() {
    method getFileList (line 69) | getFileList() {
    method isValidFileName (line 73) | isValidFileName(name) {
    method fileExists (line 78) | fileExists(name) {