annotate lisp/toolbar/save.xpm @ 50507:110c0e29159c

Handle multiple desktop files in different dirs. Other cleanups. Command line option --no-desktop introduced. (desktop-read): Record buffers in the desktop file in the same order as that in the buffer list, (desktop-save): Put buffers in the order given in desktop file, regardless of what handlers do. (desktop-file-version): New variable. Version number of desktop file format. (desktop-create-buffer-form): Variable deleted. (desktop-save): New customizable variable. (desktop-kill): Changed to use `desktop-save'. (desktop-file-name-format): New option: format in which desktop file names should be saved. (desktop-file-name): New function to convert a filename to the format specified in `desktop-file-name-format'. (desktop-create-buffer): Parameters renamed to descriptive systematic names. These parameters are visible to handlers. Renames: ver -> desktop-file-version mim -> desktop-buffer-minor-modes pt -> desktop-buffer-point mk -> desktop-buffer-mark ro -> desktop-buffer-read-only locals -> desktop-buffer-locals (desktop-buffer-major-mode, desktop-buffer-file-name) (desktop-buffer-name): Unused customizable variables deleted. (desktop-buffer-misc): Unused variable deleted. (desktop-save, desktop-buffer-dired-misc-data): Use `desktop-file-name'. (desktop-path): New customizable variable. List of directories in which to lookup the desktop file. Replaces hardcoded list. (desktop-globals-to-clear): New variable replaces hardcoded list. (desktop-clear-preserve-buffers-regexp): New customizable variable. (desktop-after-read-hook): New hook run after a desktop is read. (desktop-no-desktop-file-hook): New hook when no desktop file found. (desktop-change-dir): New function. (desktop-save-in-load-dir): New function. Save desktop in directory from witch it was loaded. (desktop-revert): New function. Revert to the last loaded desktop.
author Richard M. Stallman <rms@gnu.org>
date Wed, 09 Apr 2003 01:37:56 +0000
parents 0412bc78ee11
children 734ff40978ad
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31591
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* XPM */
32389
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
2 static char *magick[] = {
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
3 /* columns rows colors chars-per-pixel */
35229
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
4 "24 24 5 1",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
5 " c #01be01be01be",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
6 ". c #62dd62dd62dd",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
7 "X c Gray62",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
8 "o c #e625e625e625",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
9 "O c None",
32389
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
10 /* pixels */
35229
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
11 "OOOOOOOOOOOOOOOOOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
12 "OOOOOOOOOOOOOOOOOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
13 "OOOOOOOOOOOOOOOOOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
14 "OOOOOOOOOOOOOOOOOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
15 "OOOOOOOOOOOOO OOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
16 "OOOOOOOOOOO X. OOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
17 "OOOOOOOOO oXoX OOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
18 "OOOOOOO oXoooXX OOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
19 "OOOOO oXoooooo. OOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
20 "OOO XoooooooooX OOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
21 "OO XooooooooooooX OOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
22 "OO .XoooooooooooX. OOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
23 "OOO XooooooooooXXX OOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
24 "OOO .XoooooooXX..X. OOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
25 "OOOO XoooooXX...X.X OOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
26 "OOOO .XooXX.Xoo.X.X. OOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
27 "OOOOO XXX.oooooX.X. OOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
28 "OOOOO .XXoo.ooooXX OOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
29 "OOOOOO XX.o XooX. OOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
30 "OOOOOO .XXooXoX OOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
31 "OOOOOOO .X.oX OOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
32 "OOOOOOOO OOOOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
33 "OOOOOOOOOOOOOOOOOOOOOOOO",
0412bc78ee11 Use the same colors as exit.xpm.
Gerd Moellmann <gerd@gnu.org>
parents: 32452
diff changeset
34 "OOOOOOOOOOOOOOOOOOOOOOOO"
32389
03a8b6779868 Reduce colour requirements to 25 overall. (Probably wants
Dave Love <fx@gnu.org>
parents: 31591
diff changeset
35 };