- 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. Most configurations are also saved
in the application preferences. These are marked [P]. Defined
config parameters:
- show_beware
- [P] If
true
, show the Beware modal dialog on startup
- tabled_results
- [P] If
true
, check the table results checkbox by default.
- application
- Name of the Pengine application.
- csv_formats
- [P] CSV output formats offered. For example, ClioPatria
defines this as [rdf,prolog]. The first element is default.
- 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.
- ping
- Ping pengine status every N seconds. Updates sparkline
chart with stack usage.
- notebook
- Dict holding options for notebooks.
- nb_eval_script
- Evaluate scripts in HTML cells of notebooks?
- chat
- Activate the chat interface
- swish_config:config(-Name, -Profiles) is det
- Provides the object
config.swish.profiles
, a JSON object that
provides the available profiles.