swish_config:swish

config(-Key, -Value) is nondet

swish_config(-Key, -Value) is nondet

Define a name/value pair that will end up in the SWISH config object (see web/js/config.js)

swish_config:config(-Name, -Profiles) is det

Provides the object config.swish.profiles, a JSON object that provides the available profiles.

swish_config:config(-Name, -Styles) is nondet

Provides the object config.swish.style, a JSON object that maps style properties of user-defined extensions of library(prolog_colour). This info is used by the server-side colour engine to populate the CodeMirror styles.

To be done: - Provide summary information

swish_config:config(-Name, -Styles) is det

Provides the object config.swish.templates, a JSON object that provides the templates for hinting in CodeMirror.

swish_config:config(?Config, ?Value) is nondet

All solutions of this predicate are available in the JavaScript object config.swish.config. Config must be an atom that is also a valid JavaScript identifier. Value must be a value that is valid for json_write_dict/2. Defined config parameters:

show_beware

If true, show the Beware modal dialog on startup

tabled_results

If true, check the table results checkbox by default.

application

Name of the Pengine application.

csv_formats

CSV output formats offered. For example, ClioPatria defines this as [rdf,prolog]. The first element is default.

community_examples

Allow marking saved programs as example. If marked, the programs are added to the Examples menu.

public_access

If lib/authenticate.pl is loaded and this flag is true, all access to SWISH demands authentication. If false, only running queries and saving files is restricted. Note that this flag has no effect if no authentication module is loaded.

include_alias

Alias for searching files for `:- include(Alias(Name)).`

ping

Ping pengine status every N seconds. Updates sparkline chart with stack usage.

notebook

Dict holding options for notebooks:

eval_script: Whether or not to evaluate JavaScript in cells
fullscreen: Whether or not to start in fullscreen mode by default

fullscreen

Dict holding options for fullscreen mode:

hide_navbar: hide the navigation bar when in fullscreen mode.

chat

Activate the chat interface

default_query

Initial query for the source search in an empty tab

These config options are commonly overruled using one of the configuration files. See config-available and config-enabled directories.

The defaults below are for small installations. See config-available/dim_large.pl for a default config for large communities.