[jed-users] case insensitiv file completition?

[Ulli Horlacher <framstag@xxxxxxxxxxxxxxxxxxxx>]

Is it possible to use read_file_from_mini() with case insensitiv
file completition? 

For example, with GNU readline one can set in inputrc:
set completion-ignore-case on


-- 
Ullrich Horlacher              Server und Virtualisierung
Rechenzentrum IZUS/TIK         E-Mail: horlacher@xxxxxxxxxxxxxxxxxxxx
Universitaet Stuttgart         Tel:    ++49-711-68565868
Allmandring 30a                Fax:    ++49-711-682357
70550 Stuttgart (Germany)      WWW:    http://www.tik.uni-stuttgart.de/
REF:<20150818072815.GA26674@xxxxxxxxxxxxxxxxxxxx>
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.