package lambda-term
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=3f17ccce3d214a6de868bf21f00cd66f15fd3a9a575942d93a2d614f4b9456e8
md5=9284c51c2ef18ebf6c17281879f2ff13
doc/lambda-term/LTerm_resources/index.html
Module LTerm_resourcesSource
Widgets resources
Type of resources.
get key resources returns the key associated to the last pattern that matches key in resources, or the empty string if no pattern matches key.
add pattern value returns the new set of resources with the binding pattern -> value at the end.
Exception raised when the contents of a resource is invalid.
get_bool name resources reads the boolean encoded in resources.
get_color name resources reads the color encoded in resources.
get_style prefix resources reads the style encoded in resources.
get_connection name resources
Parse_error(source, line, msg) is raised when a parsing error is encountered in the input.
parse str parses a string for a list of properties. str must follow the format of X resources files. i.e. comments start with a !, empty lines are ignored, and configuration lines looks-like:
key: valueThe home directory.
xdgbd_file ~loc fn returns the full file-name for a file fn in the XDG Base Directory corresponding to the variant given by loc.
E.g. xdgbd_file ~loc:LTerm_resources.Cache app_history would return something like "/home/user/.cache/app_history"
Follows the XDG Base Directory specification: http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html
The optional parameter allow_legacy_location, default false, first searches if there is already a file with the desired name in the user's home directory. If it finds such a file, it returns that filename, else it resorts to regular behavior.