Actions
Bug #2013
closedAllow case insensitive user input
Start date:
03/11/2005
Due date:
% Done:
0%
Estimated time:
Bugzilla-Id:
2013
Description
(suggested by Laura Downey)
especially for port information (e.g. port types)
Updated by Christopher Brooks almost 19 years ago
Is this a duplicate of bug #1845?
We now handle atomic types in a case insensitive fashion in the port
configuration dialog.
Updated by Matthew Brooke over 18 years ago
duplicate of bug #1845 - which is now fixed
Actions