File: 00debian.sl

package info (click to toggle)
jed 0.99.16-5
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 4,312 kB
  • ctags: 4,736
  • sloc: ansic: 36,879; sh: 8,660; makefile: 379
file content (55 lines) | stat: -rw-r--r-- 1,631 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
% File: 00site.sl    -*- SLang -*-
% You can add further slang customisation here to be done by JED at startup.
% Please read /usr/share/doc/jed-common/README.Debian-startup for more 
% information on this mechanism.

% I'm using this file for adding "debian-specific" changes, as I like to keep
% the rest of the JED installation as standard as possible <cpbotha@debian.org>

% I would like to make it known that I think section 10.8 of the Debian Policy
% w.r.t. the "Delete" key is absolute BS, but that's just my opinion.
% Against my will, I have to make this key delete the character under the
% cursor.  <cpbotha@debian.org>
#ifdef XWINDOWS
x_set_keysym (0xFFFF, 0, "\e[3~");
#endif
setkey ("delete_char_cmd", "\e[3~");

% this mode was suggested by JED on the mailing list
autoload("paste_mode", "paste_mode");

% reference for Slang is now included in jed-common
Jed_Doc_Files = strcat (Jed_Doc_Files, ",",
                        path_concat (dircat (JED_ROOT, "doc/txt"), "slangfun.txt"));

% contributed by Guenter Milde
define indent_buffer ()
{  
    push_spot;
    bob;
    do
	indent_line;
    while (down_1);
    pop_spot;
}

% contributed by Guenter Milde, fixed by cpbotha@debian.org
define indent_region_or_line ()
{
    !if(is_visible_mark)
	indent_line;
    else
    {
	check_region (1);                  % make sure the mark comes first
	variable End_Line = what_line;
	exchange_point_and_mark();         % now point is at start of region
	do
	{
	    indent_line;
	}
	while (what_line <= End_Line and down_1);
	pop_spot();                          % return to where we were before  $
	pop_mark_0();
    }
}