I agree with the idea, but should we really modify completion-ignored-extensions by ourselves? Is it not considered a user preference? Some people dislike hiding files at all.
P. 2011/3/21 Hendrik Tews <[email protected]>: > Hi, > > AFAICT there is no support for completion-ignored-extensions in > Proof General. For coq, setting completion-ignored-extensions > would be nice, because the coq compiler clutters the directory > with .vo and .glob files. > > My suggestion would be to extend proof-assistant-table with one > row for a list of to-be-ignored file-extension. Then the > initialization code in proof-site.el could extend > completion-ignored-extensions appropriately. > > Comments? > > Bye, > > Hendrik > _______________________________________________ > ProofGeneral-devel mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel > _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
