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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
#############################################################################
##
#W getpackagename.g GAP 4 package `Browse' Thomas Breuer
##
## This file contains a utility for `LoadPackage' in case several package
## names match the first argument.
## The library function just replaces an exact match and otherwise prints an
## info message about all matches.
## We overwrite this function by the opportunity to choose one match.
##
DeclareUserPreference( rec(
name:= "SelectPackageName",
description:= [
"In the case that 'LoadPackage' is called with a prefix of some \
package names, 'true' means that the user can choose one matching entry, \
and 'false' means that the matches are just printed" ],
default:= true,
values:= [ true, false ],
multi:= false,
) );
## reset to false for 'dumb' terminals
if not IsBound( GAPInfo.SystemEnvironment.TERM )
or GAPInfo.SystemEnvironment.TERM = "dumb" then
SetUserPreference("browse", "SelectPackageName", false);
fi;
#############################################################################
##
#F GetPackageNameForPrefix( <prefix> ) . . . . . . . . show list of matches
#F or single match directly
##
BindGlobal( "GetPackageNameForPrefix_LIB", GetPackageNameForPrefix );
MakeReadWriteGlobal( "GetPackageNameForPrefix" );
UnbindGlobal( "GetPackageNameForPrefix" );
DeclareGlobalFunction( "GetPackageNameForPrefix" );
InstallGlobalFunction( GetPackageNameForPrefix, function( prefix )
local len, lowernames, name, allnames, c;
if UserPreference( "browse", "SelectPackageName" ) = false then
return GetPackageNameForPrefix_LIB( prefix );
fi;
len:= Length( prefix );
lowernames:= [];
for name in Set( RecNames( GAPInfo.PackagesInfo ) ) do
if Length( prefix ) <= Length( name ) and
name{ [ 1 .. len ] } = prefix then
Add( lowernames, name );
fi;
od;
if IsEmpty( lowernames ) then
# No package name matches.
return prefix;
fi;
allnames:= List( lowernames,
nam -> GAPInfo.PackagesInfo.( nam )[1].PackageName );
if Length( allnames ) = 1 then
# There is one exact match.
LogPackageLoadingMessage( PACKAGE_DEBUG, Concatenation(
[ "replace prefix '", prefix, "' by the unique completion '",
allnames[1], "'" ] ), allnames[1] );
return lowernames[1];
fi;
# Several package names match.
c:= NCurses.Select( rec(
items := allnames,
none := true,
border := true,
header := [ NCurses.attrs.BOLD,
" Choose an entry, 'q' for none:" ] ) );
if c = false then
# The user did not choose an entry.
return prefix;
fi;
LogPackageLoadingMessage( PACKAGE_DEBUG, Concatenation(
[ "replace prefix '", prefix, "' by the user choice '",
allnames[c], "'" ] ), allnames[c] );
return lowernames[c];
end );
#############################################################################
##
#E
|
