/usr/share/epic5/script/renumber is in epic5 2.0.1-1build3.
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 | if (word(2 $loadinfo()) != [pf]) { load -pf $word(1 $loadinfo()); return; };
addset renumber_auto bool;
set renumber_auto off;
alias renumber {
@ :cur = 1;
fe ($numsort($winrefs())) i {
if (i != cur) {
^window $i number $cur;
};
@ :cur++;
};
^assign -i;
};
on #-window_kill 384 "*" {
if (getset(renumber_auto) == [ON]) {
renumber;
};
};
#weirdo'2k6
|