Small bug with the "Select files to lint" window and .cls files

Project:Prolint Issue Tracker
Component:User-interface
Category:bug report
Priority:minor
Assigned:jurjen
Status:closed
Description

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

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.
jurjen's picture

#1

Assigned to:Anonymous» jurjen

ok, I think I can fix that


jurjen's picture

#2

Status:active» fixed

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

Status:fixed» closed