annotate lisp/tree-widget.el @ 84406:38bcf4ef30c3

* net/tramp.el (top): Remove declarations of `tramp-gw-*' symbols, they are useless with the byte compiler. (tramp-make-temp-file, tramp-make-tramp-temp-file): Move up. (tramp-do-copy-or-rename-file-directly): Rearrange let-bindings. (tramp-compute-multi-hops): Mask `tramp-gw-*' symbols. (tramp-file-name-real-host, tramp-file-name-port) (tramp-find-method, tramp-find-user, tramp-find-host): Make them defuns. * net/tramp-cache.el (top): Improve error message when `tramp-persistency-file-name' is corrupted.
author Michael Albinus <michael.albinus@gmx.de>
date Sun, 09 Sep 2007 08:31:27 +0000
parents 9355f9b7bbff
children 73661ddc7ac7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
1 ;;; tree-widget.el --- Tree widget
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
2
75347
e3694f1cb928 Add 2007 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 69466
diff changeset
3 ;; Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
4
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
5 ;; Author: David Ponce <david@dponce.com>
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
6 ;; Maintainer: David Ponce <david@dponce.com>
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
7 ;; Created: 16 Feb 2001
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
8 ;; Keywords: extensions
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
9
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
10 ;; This file is part of GNU Emacs
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
11
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
12 ;; This program is free software; you can redistribute it and/or
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
13 ;; modify it under the terms of the GNU General Public License as
78236
9355f9b7bbff Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75347
diff changeset
14 ;; published by the Free Software Foundation; either version 3, or (at
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
15 ;; your option) any later version.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
16
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
17 ;; This program is distributed in the hope that it will be useful, but
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
18 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
20 ;; General Public License for more details.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
21
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
23 ;; along with this program; see the file COPYING. If not, write to
64091
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 64077
diff changeset
24 ;; the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 64077
diff changeset
25 ;; Boston, MA 02110-1301, USA.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
26
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
27 ;;; Commentary:
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
28 ;;
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
29 ;; This library provide a tree widget useful to display data
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
30 ;; structures organized in a hierarchical order.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
31 ;;
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
32 ;; The following properties are specific to the tree widget:
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
33 ;;
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
34 ;; :open
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
35 ;; Set to non-nil to expand the tree. By default the tree is
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
36 ;; collapsed.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
37 ;;
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
38 ;; :node
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
39 ;; Specify the widget used to represent the value of a tree node.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
40 ;; By default this is an `item' widget which displays the
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
41 ;; tree-widget :tag property value if defined, or a string
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
42 ;; representation of the tree-widget value.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
43 ;;
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
44 ;; :keep
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
45 ;; Specify a list of properties to keep when the tree is collapsed
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
46 ;; so they can be recovered when the tree is expanded. This
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
47 ;; property can be used in child widgets too.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
48 ;;
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
49 ;; :expander (obsoletes :dynargs)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
50 ;; Specify a function to be called to dynamically provide the
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
51 ;; tree's children in response to an expand request. This function
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
52 ;; will be passed the tree widget and must return a list of child
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
53 ;; widgets. Child widgets returned by the :expander function are
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
54 ;; stored in the :args property of the tree widget.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
55 ;;
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
56 ;; :expander-p
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
57 ;; Specify a predicate which must return non-nil to indicate that
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
58 ;; the :expander function above has to be called. By default, to
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
59 ;; speed up successive expand requests, the :expander-p predicate
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
60 ;; return non-nil when the :args value is nil. So, by default, to
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
61 ;; refresh child values, it is necessary to set the :args property
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
62 ;; to nil, then redraw the tree.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
63 ;;
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
64 ;; :open-icon (default `tree-widget-open-icon')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
65 ;; :close-icon (default `tree-widget-close-icon')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
66 ;; :empty-icon (default `tree-widget-empty-icon')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
67 ;; :leaf-icon (default `tree-widget-leaf-icon')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
68 ;; Those properties define the icon widgets associated to tree
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
69 ;; nodes. Icon widgets must derive from the `tree-widget-icon'
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
70 ;; widget. The :tag and :glyph-name property values are
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
71 ;; respectively used when drawing the text and graphic
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
72 ;; representation of the tree. The :tag value must be a string
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
73 ;; that represent a node icon, like "[+]" for example. The
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
74 ;; :glyph-name value must the name of an image found in the current
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
75 ;; theme, like "close" for example (see also the variable
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
76 ;; `tree-widget-theme').
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
77 ;;
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
78 ;; :guide (default `tree-widget-guide')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
79 ;; :end-guide (default `tree-widget-end-guide')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
80 ;; :no-guide (default `tree-widget-no-guide')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
81 ;; :handle (default `tree-widget-handle')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
82 ;; :no-handle (default `tree-widget-no-handle')
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
83 ;; Those properties define `item'-like widgets used to draw the
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
84 ;; tree guide lines. The :tag property value is used when drawing
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
85 ;; the text representation of the tree. The graphic look and feel
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
86 ;; is given by the images named "guide", "no-guide", "end-guide",
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
87 ;; "handle", and "no-handle" found in the current theme (see also
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
88 ;; the variable `tree-widget-theme').
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
89 ;;
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
90 ;; These are the default :tag values for icons, and guide lines:
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
91 ;;
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
92 ;; open-icon "[-]"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
93 ;; close-icon "[+]"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
94 ;; empty-icon "[X]"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
95 ;; leaf-icon ""
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
96 ;; guide " |"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
97 ;; no-guide " "
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
98 ;; end-guide " `"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
99 ;; handle "-"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
100 ;; no-handle " "
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
101 ;;
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
102 ;; The text representation of a tree looks like this:
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
103 ;;
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
104 ;; [-] 1 (open-icon :node)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
105 ;; |-[+] 1.0 (guide+handle+close-icon :node)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
106 ;; |-[X] 1.1 (guide+handle+empty-icon :node)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
107 ;; `-[-] 1.2 (end-guide+handle+open-icon :node)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
108 ;; |- 1.2.1 (no-guide+no-handle+guide+handle+leaf-icon leaf)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
109 ;; `- 1.2.2 (no-guide+no-handle+end-guide+handle+leaf-icon leaf)
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
110 ;;
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
111 ;; By default, images will be used instead of strings to draw a
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
112 ;; nice-looking tree. See the `tree-widget-image-enable',
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
113 ;; `tree-widget-themes-directory', and `tree-widget-theme' options for
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
114 ;; more details.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
115
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
116 ;;; History:
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
117 ;;
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
118
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
119 ;;; Code:
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
120 (eval-when-compile (require 'cl))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
121 (require 'wid-edit)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
122
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
123 ;;; Customization
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
124 ;;
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
125 (defgroup tree-widget nil
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
126 "Customization support for the Tree Widget library."
59996
aac0a33f5772 Change release version from 21.4 to 22.1 throughout.
Kim F. Storm <storm@cua.dk>
parents: 55594
diff changeset
127 :version "22.1"
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
128 :group 'widgets)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
129
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
130 (defcustom tree-widget-image-enable
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
131 (not (or (featurep 'xemacs) (< emacs-major-version 21)))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
132 "*Non-nil means that tree-widget will try to use images."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
133 :type 'boolean
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
134 :group 'tree-widget)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
135
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
136 (defvar tree-widget-themes-load-path
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
137 '(load-path
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
138 (let ((dir (if (fboundp 'locate-data-directory)
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
139 (locate-data-directory "tree-widget") ;; XEmacs
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
140 data-directory)))
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
141 (and dir (list dir (expand-file-name "images" dir))))
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
142 )
69466
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
143 "List of locations in which to search for the themes sub-directory.
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
144 Each element is an expression that will be recursively evaluated until
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
145 it returns a single directory or a list of directories.
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
146 The default is to search in the `load-path' first, then in the
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
147 \"images\" sub directory in the data directory, then in the data
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
148 directory.
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
149 The data directory is the value of the variable `data-directory' on
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
150 Emacs, and what `(locate-data-directory \"tree-widget\")' returns on
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
151 XEmacs.")
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
152
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
153 (defcustom tree-widget-themes-directory "tree-widget"
69466
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
154 "*Name of the directory in which to look for an image theme.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
155 When nil use the directory where the tree-widget library is located.
69466
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
156 When it is a relative name, search in all occurrences of that sub
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
157 directory in the path specified by `tree-widget-themes-load-path'.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
158 The default is to use the \"tree-widget\" relative name."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
159 :type '(choice (const :tag "Default" "tree-widget")
69466
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
160 (const :tag "Where is this library" nil)
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
161 (directory :format "%{%t%}:\n%v"))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
162 :group 'tree-widget)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
163
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
164 (defcustom tree-widget-theme nil
69466
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
165 "*Name of the theme in which to look for images.
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
166 This is a sub directory of the themes directory specified by the
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
167 `tree-widget-themes-directory' option.
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
168 The default theme is \"default\". When an image is not found in a
63d7389cb46f (tree-widget-themes-load-path)
David Ponce <david@dponce.com>
parents: 69459
diff changeset
169 theme, it is searched in its parent theme.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
170
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
171 A complete theme must at least contain images with these file names
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
172 with a supported extension (see also `tree-widget-image-formats'):
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
173
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
174 \"guide\"
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
175 A vertical guide line.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
176 \"no-guide\"
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
177 An invisible vertical guide line.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
178 \"end-guide\"
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
179 End of a vertical guide line.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
180 \"handle\"
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
181 Horizontal guide line that joins the vertical guide line to an icon.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
182 \"no-handle\"
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
183 An invisible handle.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
184
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
185 Plus images whose name is given by the :glyph-name property of the
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
186 icon widgets used to draw the tree. By default these images are used:
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
187
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
188 \"open\"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
189 Icon associated to an expanded tree.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
190 \"close\"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
191 Icon associated to a collapsed tree.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
192 \"empty\"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
193 Icon associated to an expanded tree with no child.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
194 \"leaf\"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
195 Icon associated to a leaf node."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
196 :type '(choice (const :tag "Default" nil)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
197 (string :tag "Name"))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
198 :group 'tree-widget)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
199
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
200 (defcustom tree-widget-image-properties-emacs
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
201 '(:ascent center :mask (heuristic t))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
202 "*Default properties of Emacs images."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
203 :type 'plist
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
204 :group 'tree-widget)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
205
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
206 (defcustom tree-widget-image-properties-xemacs
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
207 nil
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
208 "*Default properties of XEmacs images."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
209 :type 'plist
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
210 :group 'tree-widget)
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
211
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
212 (defcustom tree-widget-space-width 0.5
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
213 "Amount of space between an icon image and a node widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
214 Must be a valid space :width display property."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
215 :group 'tree-widget
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
216 :type 'sexp)
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
217
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
218 ;;; Image support
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
219 ;;
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
220 (eval-and-compile ;; Emacs/XEmacs compatibility stuff
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
221 (cond
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
222 ;; XEmacs
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
223 ((featurep 'xemacs)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
224 (defsubst tree-widget-use-image-p ()
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
225 "Return non-nil if image support is currently enabled."
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
226 (and tree-widget-image-enable
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
227 widget-glyph-enable
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
228 (console-on-window-system-p)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
229 (defsubst tree-widget-create-image (type file &optional props)
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
230 "Create an image of type TYPE from FILE, and return it.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
231 Give the image the specified properties PROPS."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
232 (apply 'make-glyph `([,type :file ,file ,@props])))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
233 (defsubst tree-widget-image-formats ()
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
234 "Return the alist of image formats/file name extensions.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
235 See also the option `widget-image-file-name-suffixes'."
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
236 (delq nil
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
237 (mapcar
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
238 #'(lambda (fmt)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
239 (and (valid-image-instantiator-format-p (car fmt)) fmt))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
240 widget-image-file-name-suffixes)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
241 )
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
242 ;; Emacs
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
243 (t
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
244 (defsubst tree-widget-use-image-p ()
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
245 "Return non-nil if image support is currently enabled."
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
246 (and tree-widget-image-enable
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
247 widget-image-enable
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
248 (display-images-p)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
249 (defsubst tree-widget-create-image (type file &optional props)
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
250 "Create an image of type TYPE from FILE, and return it.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
251 Give the image the specified properties PROPS."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
252 (apply 'create-image `(,file ,type nil ,@props)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
253 (defsubst tree-widget-image-formats ()
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
254 "Return the alist of image formats/file name extensions.
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
255 See also the option `widget-image-conversion'."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
256 (delq nil
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
257 (mapcar
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
258 #'(lambda (fmt)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
259 (and (image-type-available-p (car fmt)) fmt))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
260 widget-image-conversion)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
261 ))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
262 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
263
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
264 ;; Buffer local cache of theme data.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
265 (defvar tree-widget--theme nil)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
266
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
267 (defsubst tree-widget-theme-name ()
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
268 "Return the current theme name, or nil if no theme is active."
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
269 (and tree-widget--theme (car (aref tree-widget--theme 0))))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
270
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
271 (defsubst tree-widget-set-parent-theme (name)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
272 "Set to NAME the parent theme of the current theme.
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
273 The default parent theme is the \"default\" theme."
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
274 (unless (member name (aref tree-widget--theme 0))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
275 (aset tree-widget--theme 0
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
276 (append (aref tree-widget--theme 0) (list name)))
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
277 ;; Load the theme setup from the first directory where the theme
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
278 ;; is found.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
279 (catch 'found
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
280 (dolist (dir (tree-widget-themes-path))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
281 (setq dir (expand-file-name name dir))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
282 (when (file-accessible-directory-p dir)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
283 (throw 'found
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
284 (load (expand-file-name
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
285 "tree-widget-theme-setup" dir) t)))))))
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
286
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
287 (defun tree-widget-set-theme (&optional name)
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
288 "In the current buffer, set the theme to use for images.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
289 The current buffer must be where the tree widget is drawn.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
290 Optional argument NAME is the name of the theme to use. It defaults
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
291 to the value of the variable `tree-widget-theme'.
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
292 Does nothing if NAME is already the current theme.
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
293
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
294 If there is a \"tree-widget-theme-setup\" library in the theme
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
295 directory, load it to setup a parent theme or the images properties.
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
296 Typically it should contain something like this:
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
297
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
298 (tree-widget-set-parent-theme \"my-parent-theme\")
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
299 (tree-widget-set-image-properties
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
300 (if (featurep 'xemacs)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
301 '(:ascent center)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
302 '(:ascent center :mask (heuristic t))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
303 ))"
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
304 (or name (setq name (or tree-widget-theme "default")))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
305 (unless (string-equal name (tree-widget-theme-name))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
306 (set (make-local-variable 'tree-widget--theme)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
307 (make-vector 4 nil))
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
308 (tree-widget-set-parent-theme name)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
309 (tree-widget-set-parent-theme "default")))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
310
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
311 (defun tree-widget--locate-sub-directory (name path &optional found)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
312 "Locate all occurrences of the sub-directory NAME in PATH.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
313 Return a list of absolute directory names in reverse order, or nil if
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
314 not found."
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
315 (condition-case err
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
316 (dolist (elt path)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
317 (setq elt (eval elt))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
318 (cond
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
319 ((stringp elt)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
320 (and (file-accessible-directory-p
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
321 (setq elt (expand-file-name name elt)))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
322 (push elt found)))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
323 (elt
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
324 (setq found (tree-widget--locate-sub-directory
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
325 name (if (atom elt) (list elt) elt) found)))))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
326 (error
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
327 (message "In tree-widget--locate-sub-directory: %s"
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
328 (error-message-string err))))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
329 found)
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
330
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
331 (defun tree-widget-themes-path ()
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
332 "Return the path where to search for a theme.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
333 It is specified in variable `tree-widget-themes-directory'.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
334 Return a list of absolute directory names, or nil when no directory
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
335 has been found accessible."
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
336 (let ((path (aref tree-widget--theme 1)))
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
337 (cond
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
338 ;; No directory was found.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
339 ((eq path 'void) nil)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
340 ;; The list of directories is available in the cache.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
341 (path)
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
342 ;; Use the directory where this library is located.
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
343 ((null tree-widget-themes-directory)
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
344 (when (setq path (locate-library "tree-widget"))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
345 (setq path (file-name-directory path))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
346 (setq path (and (file-accessible-directory-p path)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
347 (list path)))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
348 ;; Store the result in the cache for later use.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
349 (aset tree-widget--theme 1 (or path 'void))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
350 path))
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
351 ;; Check accessibility of absolute directory name.
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
352 ((file-name-absolute-p tree-widget-themes-directory)
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
353 (setq path (expand-file-name tree-widget-themes-directory))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
354 (setq path (and (file-accessible-directory-p path)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
355 (list path)))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
356 ;; Store the result in the cache for later use.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
357 (aset tree-widget--theme 1 (or path 'void))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
358 path)
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
359 ;; Locate a sub-directory in `tree-widget-themes-load-path'.
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
360 (t
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
361 (setq path (nreverse (tree-widget--locate-sub-directory
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
362 tree-widget-themes-directory
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
363 tree-widget-themes-load-path)))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
364 ;; Store the result in the cache for later use.
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
365 (aset tree-widget--theme 1 (or path 'void))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
366 path))))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
367
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
368 (defconst tree-widget--cursors
65747
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
369 ;; Pointer shapes when the mouse pointer is over inactive
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
370 ;; tree-widget images. This feature works since Emacs 22, and
cfaa6269b03d (tree-widget-themes-load-path): New variable.
David Ponce <david@dponce.com>
parents: 65649
diff changeset
371 ;; ignored on older versions, and XEmacs.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
372 '(
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
373 ("guide" . arrow)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
374 ("no-guide" . arrow)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
375 ("end-guide" . arrow)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
376 ("handle" . arrow)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
377 ("no-handle" . arrow)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
378 ))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
379
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
380 (defsubst tree-widget-set-image-properties (props)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
381 "In current theme, set images properties to PROPS.
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
382 Does nothing if images properties have already been set for that
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
383 theme."
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
384 (or (aref tree-widget--theme 2)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
385 (aset tree-widget--theme 2 props)))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
386
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
387 (defsubst tree-widget-image-properties (name)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
388 "Return the properties of image NAME in current theme.
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
389 Default global properties are provided for respectively Emacs and
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
390 XEmacs in the variables `tree-widget-image-properties-emacs', and
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
391 `tree-widget-image-properties-xemacs'."
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
392 ;; Add the pointer shape
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
393 (cons :pointer
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
394 (cons (or (cdr (assoc name tree-widget--cursors)) 'hand)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
395 (tree-widget-set-image-properties
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
396 (if (featurep 'xemacs)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
397 tree-widget-image-properties-xemacs
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
398 tree-widget-image-properties-emacs)))))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
399
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
400 (defun tree-widget-lookup-image (name)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
401 "Look up in current theme for an image with NAME.
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
402 Search first in current theme, then in parent themes (see also the
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
403 function `tree-widget-set-parent-theme').
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
404 Return the first image found having a supported format, or nil if not
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
405 found."
69459
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
406 (catch 'found
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
407 (dolist (default-directory (tree-widget-themes-path))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
408 (dolist (dir (aref tree-widget--theme 0))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
409 (dolist (fmt (tree-widget-image-formats))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
410 (dolist (ext (cdr fmt))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
411 (setq file (expand-file-name (concat name ext) dir))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
412 (and (file-readable-p file)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
413 (file-regular-p file)
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
414 (throw 'found
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
415 (tree-widget-create-image
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
416 (car fmt) file
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
417 (tree-widget-image-properties name))))))))
602d4778bd8a Handle themes across all occurrences of the main
David Ponce <david@dponce.com>
parents: 69316
diff changeset
418 nil))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
419
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
420 (defun tree-widget-find-image (name)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
421 "Find the image with NAME in current theme.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
422 NAME is an image file name sans extension.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
423 Return the image found, or nil if not found."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
424 (when (tree-widget-use-image-p)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
425 ;; Ensure there is an active theme.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
426 (tree-widget-set-theme (tree-widget-theme-name))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
427 (let ((image (assoc name (aref tree-widget--theme 3))))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
428 ;; The image NAME is found in the cache.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
429 (if image
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
430 (cdr image)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
431 ;; Search the image in current, and default themes.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
432 (prog1
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
433 (setq image (tree-widget-lookup-image name))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
434 ;; Store image reference in the cache for later use.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
435 (push (cons name image) (aref tree-widget--theme 3))))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
436 )))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
437
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
438 ;;; Widgets
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
439 ;;
66187
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
440 (defun tree-widget-button-click (event)
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
441 "Move to the position clicked on, and if it is a button, invoke it.
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
442 EVENT is the mouse event received."
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
443 (interactive "e")
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
444 (mouse-set-point event)
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
445 (let ((pos (widget-event-point event)))
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
446 (if (get-char-property pos 'button)
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
447 (widget-button-click event))))
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
448
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
449 (defvar tree-widget-button-keymap
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
450 (let ((km (make-sparse-keymap)))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
451 (if (boundp 'widget-button-keymap)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
452 ;; XEmacs
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
453 (progn
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
454 (set-keymap-parent km widget-button-keymap)
66187
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
455 (define-key km [button1] 'tree-widget-button-click))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
456 ;; Emacs
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
457 (set-keymap-parent km widget-keymap)
66187
5955934355f2 (tree-widget-button-click): New function.
David Ponce <david@dponce.com>
parents: 65747
diff changeset
458 (define-key km [down-mouse-1] 'tree-widget-button-click))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
459 km)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
460 "Keymap used inside node buttons.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
461 Handle mouse button 1 click on buttons.")
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
462
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
463 (define-widget 'tree-widget-icon 'push-button
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
464 "Basic widget other tree-widget icons are derived from."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
465 :format "%[%t%]"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
466 :button-keymap tree-widget-button-keymap ; XEmacs
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
467 :keymap tree-widget-button-keymap ; Emacs
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
468 :create 'tree-widget-icon-create
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
469 :action 'tree-widget-icon-action
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
470 :help-echo 'tree-widget-icon-help-echo
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
471 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
472
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
473 (define-widget 'tree-widget-open-icon 'tree-widget-icon
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
474 "Icon for an expanded tree-widget node."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
475 :tag "[-]"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
476 :glyph-name "open"
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
477 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
478
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
479 (define-widget 'tree-widget-empty-icon 'tree-widget-icon
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
480 "Icon for an expanded tree-widget node with no child."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
481 :tag "[X]"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
482 :glyph-name "empty"
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
483 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
484
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
485 (define-widget 'tree-widget-close-icon 'tree-widget-icon
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
486 "Icon for a collapsed tree-widget node."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
487 :tag "[+]"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
488 :glyph-name "close"
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
489 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
490
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
491 (define-widget 'tree-widget-leaf-icon 'tree-widget-icon
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
492 "Icon for a tree-widget leaf node."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
493 :tag ""
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
494 :glyph-name "leaf"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
495 :button-face 'default
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
496 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
497
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
498 (define-widget 'tree-widget-guide 'item
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
499 "Vertical guide line."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
500 :tag " |"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
501 ;;:tag-glyph (tree-widget-find-image "guide")
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
502 :format "%t"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
503 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
504
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
505 (define-widget 'tree-widget-end-guide 'item
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
506 "End of a vertical guide line."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
507 :tag " `"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
508 ;;:tag-glyph (tree-widget-find-image "end-guide")
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
509 :format "%t"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
510 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
511
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
512 (define-widget 'tree-widget-no-guide 'item
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
513 "Invisible vertical guide line."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
514 :tag " "
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
515 ;;:tag-glyph (tree-widget-find-image "no-guide")
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
516 :format "%t"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
517 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
518
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
519 (define-widget 'tree-widget-handle 'item
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
520 "Horizontal guide line that joins a vertical guide line to a node."
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
521 :tag "-"
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
522 ;;:tag-glyph (tree-widget-find-image "handle")
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
523 :format "%t"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
524 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
525
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
526 (define-widget 'tree-widget-no-handle 'item
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
527 "Invisible handle."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
528 :tag " "
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
529 ;;:tag-glyph (tree-widget-find-image "no-handle")
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
530 :format "%t"
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
531 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
532
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
533 (define-widget 'tree-widget 'default
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
534 "Tree widget."
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
535 :format "%v"
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
536 :convert-widget 'tree-widget-convert-widget
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
537 :value-get 'widget-value-value-get
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
538 :value-delete 'widget-children-value-delete
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
539 :value-create 'tree-widget-value-create
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
540 :action 'tree-widget-action
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
541 :help-echo 'tree-widget-help-echo
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
542 :expander-p 'tree-widget-expander-p
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
543 :open-icon 'tree-widget-open-icon
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
544 :close-icon 'tree-widget-close-icon
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
545 :empty-icon 'tree-widget-empty-icon
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
546 :leaf-icon 'tree-widget-leaf-icon
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
547 :guide 'tree-widget-guide
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
548 :end-guide 'tree-widget-end-guide
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
549 :no-guide 'tree-widget-no-guide
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
550 :handle 'tree-widget-handle
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
551 :no-handle 'tree-widget-no-handle
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
552 )
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
553
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
554 ;;; Widget support functions
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
555 ;;
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
556 (defun tree-widget-p (widget)
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
557 "Return non-nil if WIDGET is a tree-widget."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
558 (let ((type (widget-type widget)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
559 (while (and type (not (eq type 'tree-widget)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
560 (setq type (widget-type (get type 'widget-type))))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
561 (eq type 'tree-widget)))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
562
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
563 (defun tree-widget-node (widget)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
564 "Return WIDGET's :node child widget.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
565 If not found, setup an `item' widget as default.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
566 Signal an error if the :node widget is a tree-widget.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
567 WIDGET is, or derives from, a tree-widget."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
568 (let ((node (widget-get widget :node)))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
569 (if node
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
570 ;; Check that the :node widget is not a tree-widget.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
571 (and (tree-widget-p node)
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
572 (error "Invalid tree-widget :node %S" node))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
573 ;; Setup an item widget as default :node.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
574 (setq node `(item :tag ,(or (widget-get widget :tag)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
575 (widget-princ-to-string
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
576 (widget-value widget)))))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
577 (widget-put widget :node node))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
578 node))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
579
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
580 (defun tree-widget-keep (arg widget)
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
581 "Save in ARG the WIDGET's properties specified by :keep."
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
582 (dolist (prop (widget-get widget :keep))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
583 (widget-put arg prop (widget-get widget prop))))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
584
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
585 (defun tree-widget-children-value-save (widget &optional args node)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
586 "Save WIDGET children values.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
587 WIDGET is, or derives from, a tree-widget.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
588 Children properties and values are saved in ARGS if non-nil, else in
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
589 WIDGET's :args property value. Properties and values of the
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
590 WIDGET's :node sub-widget are saved in NODE if non-nil, else in
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
591 WIDGET's :node sub-widget."
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
592 (let ((args (cons (or node (widget-get widget :node))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
593 (or args (widget-get widget :args))))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
594 (children (widget-get widget :children))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
595 arg child)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
596 (while (and args children)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
597 (setq arg (car args)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
598 args (cdr args)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
599 child (car children)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
600 children (cdr children))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
601 (if (tree-widget-p child)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
602 ;;;; The child is a tree node.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
603 (progn
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
604 ;; Backtrack :args and :node properties.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
605 (widget-put arg :args (widget-get child :args))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
606 (widget-put arg :node (widget-get child :node))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
607 ;; Save :open property.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
608 (widget-put arg :open (widget-get child :open))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
609 ;; The node is open.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
610 (when (widget-get child :open)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
611 ;; Save the widget value.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
612 (widget-put arg :value (widget-value child))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
613 ;; Save properties specified in :keep.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
614 (tree-widget-keep arg child)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
615 ;; Save children.
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
616 (tree-widget-children-value-save
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
617 child (widget-get arg :args) (widget-get arg :node))))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
618 ;;;; Another non tree node.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
619 ;; Save the widget value.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
620 (widget-put arg :value (widget-value child))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
621 ;; Save properties specified in :keep.
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
622 (tree-widget-keep arg child)))))
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
623
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
624 ;;; Widget creation
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
625 ;;
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
626 (defvar tree-widget-before-create-icon-functions nil
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
627 "Hooks run before to create a tree-widget icon.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
628 Each function is passed the icon widget not yet created.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
629 The value of the icon widget :node property is a tree :node widget or
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
630 a leaf node widget, not yet created.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
631 This hook can be used to dynamically change properties of the icon and
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
632 associated node widgets. For example, to dynamically change the look
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
633 and feel of the tree-widget by changing the values of the :tag
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
634 and :glyph-name properties of the icon widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
635 This hook should be local in the buffer setup to display widgets.")
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
636
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
637 (defun tree-widget-icon-create (icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
638 "Create the ICON widget."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
639 (run-hook-with-args 'tree-widget-before-create-icon-functions icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
640 (widget-put icon :tag-glyph
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
641 (tree-widget-find-image (widget-get icon :glyph-name)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
642 ;; Ensure there is at least one char to display the image.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
643 (and (widget-get icon :tag-glyph)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
644 (equal "" (or (widget-get icon :tag) ""))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
645 (widget-put icon :tag " "))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
646 (widget-default-create icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
647 ;; Insert space between the icon and the node widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
648 (insert-char ? 1)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
649 (put-text-property
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
650 (1- (point)) (point)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
651 'display (list 'space :width tree-widget-space-width)))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
652
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
653 (defun tree-widget-convert-widget (widget)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
654 "Convert :args as widget types in WIDGET."
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
655 (let ((tree (widget-types-convert-widget widget)))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
656 ;; Compatibility
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
657 (widget-put tree :expander (or (widget-get tree :expander)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
658 (widget-get tree :dynargs)))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
659 tree))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
660
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
661 (defun tree-widget-value-create (tree)
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
662 "Create the TREE tree-widget."
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
663 (let* ((node (tree-widget-node tree))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
664 (flags (widget-get tree :tree-widget--guide-flags))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
665 (indent (widget-get tree :indent))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
666 ;; Setup widget's image support. Looking up for images, and
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
667 ;; setting widgets' :tag-glyph is done here, to allow to
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
668 ;; dynamically change the image theme.
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
669 (widget-image-enable (tree-widget-use-image-p)) ; Emacs
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
670 (widget-glyph-enable widget-image-enable) ; XEmacs
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
671 children buttons)
63482
0f66f455f7d7 (tree-widget-value-create): Simplify last change.
David Ponce <david@dponce.com>
parents: 63467
diff changeset
672 (and indent (not (widget-get tree :parent))
63467
c4d3f401bf34 eval-and-compile inlined functions so they will
David Ponce <david@dponce.com>
parents: 63465
diff changeset
673 (insert-char ?\ indent))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
674 (if (widget-get tree :open)
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
675 ;;;; Expanded node.
63465
1df1bb151415 (tree-widget-super-format-handler)
David Ponce <david@dponce.com>
parents: 59996
diff changeset
676 (let ((args (widget-get tree :args))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
677 (guide (widget-get tree :guide))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
678 (noguide (widget-get tree :no-guide))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
679 (endguide (widget-get tree :end-guide))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
680 (handle (widget-get tree :handle))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
681 (nohandle (widget-get tree :no-handle))
63465
1df1bb151415 (tree-widget-super-format-handler)
David Ponce <david@dponce.com>
parents: 59996
diff changeset
682 (guidi (tree-widget-find-image "guide"))
1df1bb151415 (tree-widget-super-format-handler)
David Ponce <david@dponce.com>
parents: 59996
diff changeset
683 (noguidi (tree-widget-find-image "no-guide"))
1df1bb151415 (tree-widget-super-format-handler)
David Ponce <david@dponce.com>
parents: 59996
diff changeset
684 (endguidi (tree-widget-find-image "end-guide"))
1df1bb151415 (tree-widget-super-format-handler)
David Ponce <david@dponce.com>
parents: 59996
diff changeset
685 (handli (tree-widget-find-image "handle"))
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
686 (nohandli (tree-widget-find-image "no-handle")))
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
687 ;; Request children at run time, when requested.
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
688 (when (and (widget-get tree :expander)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
689 (widget-apply tree :expander-p))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
690 (setq args (mapcar 'widget-convert
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
691 (widget-apply tree :expander)))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
692 (widget-put tree :args args))
65613
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
693 ;; Defer the node widget creation after icon creation.
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
694 (widget-put tree :node (widget-convert node))
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
695 ;; Create the icon widget for the expanded tree.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
696 (push (widget-create-child-and-convert
65649
e2b8d96a5a4f (tree-widget-value-create): Fix previous change.
David Ponce <david@dponce.com>
parents: 65613
diff changeset
697 tree (widget-get tree (if args :open-icon :empty-icon))
e2b8d96a5a4f (tree-widget-value-create): Fix previous change.
David Ponce <david@dponce.com>
parents: 65613
diff changeset
698 ;; Pass the node widget to child.
e2b8d96a5a4f (tree-widget-value-create): Fix previous change.
David Ponce <david@dponce.com>
parents: 65613
diff changeset
699 :node (widget-get tree :node))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
700 buttons)
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
701 ;; Create the tree node widget.
65613
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
702 (push (widget-create-child tree (widget-get tree :node))
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
703 children)
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
704 ;; Update the icon :node with the created node widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
705 (widget-put (car buttons) :node (car children))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
706 ;; Create the tree children.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
707 (while args
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
708 (setq node (car args)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
709 args (cdr args))
63465
1df1bb151415 (tree-widget-super-format-handler)
David Ponce <david@dponce.com>
parents: 59996
diff changeset
710 (and indent (insert-char ?\ indent))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
711 ;; Insert guide lines elements from previous levels.
63465
1df1bb151415 (tree-widget-super-format-handler)
David Ponce <david@dponce.com>
parents: 59996
diff changeset
712 (dolist (f (reverse flags))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
713 (widget-create-child-and-convert
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
714 tree (if f guide noguide)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
715 :tag-glyph (if f guidi noguidi))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
716 (widget-create-child-and-convert
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
717 tree nohandle :tag-glyph nohandli))
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
718 ;; Insert guide line element for this level.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
719 (widget-create-child-and-convert
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
720 tree (if args guide endguide)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
721 :tag-glyph (if args guidi endguidi))
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
722 ;; Insert the node handle line
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
723 (widget-create-child-and-convert
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
724 tree handle :tag-glyph handli)
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
725 (if (tree-widget-p node)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
726 ;; Create a sub-tree node.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
727 (push (widget-create-child-and-convert
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
728 tree node :tree-widget--guide-flags
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
729 (cons (if args t) flags))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
730 children)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
731 ;; Create the icon widget for a leaf node.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
732 (push (widget-create-child-and-convert
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
733 tree (widget-get tree :leaf-icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
734 ;; At this point the node widget isn't yet created.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
735 :node (setq node (widget-convert
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
736 node :tree-widget--guide-flags
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
737 (cons (if args t) flags)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
738 :tree-widget--leaf-flag t)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
739 buttons)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
740 ;; Create the leaf node widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
741 (push (widget-create-child tree node) children)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
742 ;; Update the icon :node with the created node widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
743 (widget-put (car buttons) :node (car children)))))
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
744 ;;;; Collapsed node.
65613
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
745 ;; Defer the node widget creation after icon creation.
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
746 (widget-put tree :node (widget-convert node))
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
747 ;; Create the icon widget for the collapsed tree.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
748 (push (widget-create-child-and-convert
65649
e2b8d96a5a4f (tree-widget-value-create): Fix previous change.
David Ponce <david@dponce.com>
parents: 65613
diff changeset
749 tree (widget-get tree :close-icon)
e2b8d96a5a4f (tree-widget-value-create): Fix previous change.
David Ponce <david@dponce.com>
parents: 65613
diff changeset
750 ;; Pass the node widget to child.
e2b8d96a5a4f (tree-widget-value-create): Fix previous change.
David Ponce <david@dponce.com>
parents: 65613
diff changeset
751 :node (widget-get tree :node))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
752 buttons)
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
753 ;; Create the tree node widget.
65613
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
754 (push (widget-create-child tree (widget-get tree :node))
cc7dd4ad84cd (tree-widget-value-create): Save the converted tree :node widget.
David Ponce <david@dponce.com>
parents: 64985
diff changeset
755 children)
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
756 ;; Update the icon :node with the created node widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
757 (widget-put (car buttons) :node (car children)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
758 ;; Save widget children and buttons. The tree-widget :node child
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
759 ;; is the first element in :children.
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
760 (widget-put tree :children (nreverse children))
64985
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
761 (widget-put tree :buttons buttons)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
762
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
763 ;;; Widget callbacks
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
764 ;;
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
765 (defsubst tree-widget-leaf-node-icon-p (icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
766 "Return non-nil if ICON is a leaf node icon.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
767 That is, if its :node property value is a leaf node widget."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
768 (widget-get icon :tree-widget--leaf-flag))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
769
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
770 (defun tree-widget-icon-action (icon &optional event)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
771 "Handle the ICON widget :action.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
772 If ICON :node is a leaf node it handles the :action. The tree-widget
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
773 parent of ICON handles the :action otherwise.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
774 Pass the received EVENT to :action."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
775 (let ((node (widget-get icon (if (tree-widget-leaf-node-icon-p icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
776 :node :parent))))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
777 (widget-apply node :action event)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
778
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
779 (defun tree-widget-icon-help-echo (icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
780 "Return the help-echo string of ICON.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
781 If ICON :node is a leaf node it handles the :help-echo. The tree-widget
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
782 parent of ICON handles the :help-echo otherwise."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
783 (let* ((node (widget-get icon (if (tree-widget-leaf-node-icon-p icon)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
784 :node :parent)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
785 (help-echo (widget-get node :help-echo)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
786 (if (functionp help-echo)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
787 (funcall help-echo node)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
788 help-echo)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
789
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
790 (defvar tree-widget-after-toggle-functions nil
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
791 "Hooks run after toggling a tree-widget expansion.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
792 Each function is passed a tree-widget. If the value of the :open
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
793 property is non-nil the tree has been expanded, else collapsed.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
794 This hook should be local in the buffer setup to display widgets.")
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
795
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
796 (defun tree-widget-action (tree &optional event)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
797 "Handle the :action of the TREE tree-widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
798 That is, toggle expansion of the TREE tree-widget.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
799 Ignore the EVENT argument."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
800 (let ((open (not (widget-get tree :open))))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
801 (or open
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
802 ;; Before to collapse the node, save children values so next
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
803 ;; open can recover them.
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
804 (tree-widget-children-value-save tree))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
805 (widget-put tree :open open)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
806 (widget-value-set tree open)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
807 (run-hook-with-args 'tree-widget-after-toggle-functions tree)))
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
808
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
809 (defun tree-widget-help-echo (tree)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
810 "Return the help-echo string of the TREE tree-widget."
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
811 (if (widget-get tree :open)
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
812 "Collapse node"
293aca58a37e Update Commentary header.
David Ponce <david@dponce.com>
parents: 64091
diff changeset
813 "Expand node"))
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
814
69316
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
815 (defun tree-widget-expander-p (tree)
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
816 "Return non-nil if the TREE tree-widget :expander has to be called.
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
817 That is, if TREE :args is nil."
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
818 (null (widget-get tree :args)))
57e535bee31c Update Commentary header.
David Ponce <david@dponce.com>
parents: 68651
diff changeset
819
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
820 (provide 'tree-widget)
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
821
64077
f823765b0fab Improve header Commentary section.
David Ponce <david@dponce.com>
parents: 63482
diff changeset
822 ;; arch-tag: c3a1ada2-1663-41dc-9d16-2479ed8320e8
55588
55e4f0e50320 New file.
David Ponce <david@dponce.com>
parents:
diff changeset
823 ;;; tree-widget.el ends here