/usr/share/jed/lib/jedhelp.sl is in jed-common 1:0.99.19-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 56 57 58 59 60 61 | %
% This is supposed to be an easy to use help facility
%
$1 = " *EZhelp*";
!if (keymap_p($1))
{
make_keymap($1);
definekey("page_up", "^?", $1);
definekey("page_up", "u", $1);
definekey("page_up", "U", $1);
definekey("page_down", " ", $1);
definekey("page_down", "d", $1);
definekey("page_down", "D", $1);
definekey("search_forward", "S", $1);
definekey("search_forward", "F", $1);
definekey("search_forward", "f", $1);
definekey("search_forward", "s", $1);
definekey("search_backward", "b", $1);
definekey("search_backward", "B", $1);
definekey("ezhelp_quit", "q", $1);
definekey("ezhelp_quit", "Q", $1);
}
variable EZhelp_Last_Buffer;
define ezhelp_quit()
{
sw2buf(EZhelp_Last_Buffer);
}
define jed_easy_help(file)
{
variable c, hlpbuf, hlpfile, err, flags, dir;
hlpbuf = " *EZhelp*";
!if (strcmp(hlpbuf, whatbuf())) return;
EZhelp_Last_Buffer = whatbuf();
err = strcat("Help file not found: ", file);
ERROR_BLOCK
{
ezhelp_quit();
}
sw2buf(hlpbuf);
(hlpfile, dir, hlpbuf, flags) = getbuf_info();
if (strcmp(hlpfile, file))
{
hlpfile = expand_jedlib_file(file);
!if (strlen(hlpfile)) error(err);
erase_buffer();
set_readonly(0);
if (insert_file(hlpfile) <= 0) error(err);
setbuf_info(file, dir, hlpbuf, flags);
bob();
set_readonly(1);
}
use_keymap(hlpbuf);
set_status_line(" u:Page Up, d:Page Down, s:Search, q:Quit Help (%p)", 0);
}
|