Project: | Prolint Issue Tracker |
Component: | User-interface |
Category: | bug report |
Priority: | minor |
Assigned: | jurjen |
Status: | closed |
You can drop .p and .w file in this window, but you cannot drop .cls, although you can type their path and get them linted anyway.
Comments
#1
ok, I think I can fix that
#2
Fixed!
I have made it configurable (the new default is *.p,*.w,*.cls), you can change it in file prolint.properties.p and I have also modified a bunch of other programs to look at this configuration setting.
Checked in into Subversion, revision number 282. See:
http://websvn.oehive.org/listing.php?repname=prolint&path=%2Ftrunk%2F&rev=282&sc=1
#3