diff options
| author | jao <jao@gnu.org> | 2022-07-24 17:14:52 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-07-24 17:14:52 +0100 |
| commit | 232a6d435a36f99b72e49bfb8d58f37a0377841b (patch) | |
| tree | 590ee7ccc36e626da825437aaa82deb88e3d8bdb /doc/plugins.org | |
| parent | ead65d18d521ba37f523f21008b373b23cd9612d (diff) | |
| download | xmobar-232a6d435a36f99b72e49bfb8d58f37a0377841b.tar.gz xmobar-232a6d435a36f99b72e49bfb8d58f37a0377841b.tar.bz2 | |
documentation: interfacing-with-window-managers.org gone
Diffstat (limited to 'doc/plugins.org')
| -rw-r--r-- | doc/plugins.org | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/plugins.org b/doc/plugins.org index 6f388c1..558bdef 100644 --- a/doc/plugins.org +++ b/doc/plugins.org @@ -35,9 +35,8 @@ 100 #+end_src - See also [[./window-managers.org][Interfacing with window managers]] for a collection of - plugins that let you interact and control xmobar from window - managers. + See also [[#interfacing-with-window-managers][Interfacing with window managers]] below for a collection of plugins + that let you interact and control xmobar from window managers. ** Icon Patterns @@ -1328,6 +1327,9 @@ - Default template: =Up: <days>d <hours>h <minutes>m= * Interfacing with window managers + :PROPERTIES: + :CUSTOM_ID: interfacing-with-window-managers + :END: ** Property-based logging *** =XMonadLog= |