Faculty of Information Technology
Software Engineering Group

Opened 9 years ago

Closed 9 years ago

#38 closed defect (fixed)

Lint button is disabled in project view

Reported by: Jan Vrany Owned by:
Priority: major Milestone:
Component: default Keywords: browser
Cc: Also affects CVS HEAD (eXept version): yes

Description

A question: I just toggled from category to project view, and the
smallLInt went disabled. However, the popup-menu item is enabled. I
think that package-lint is a very useful operation - is there a reason
for disabling the toolbar button?

Lint: the only reason is that I tend to write buggy code. I'll have a look.

Change History (1)

comment:1 Changed 9 years ago by Jan Vrany

Resolution: fixed
Status: newclosed

Fixed in Tools::NewSystemBrowser, rev 1.2046

Note: See TracTickets for help on using tickets.