Actions
Bug #1749
openGlobal toggle for port name display
Start date:
10/27/2004
Due date:
% Done:
0%
Estimated time:
Bugzilla-Id:
1749
Description
Port names can be quite informative (in particular when chosen carefully ;-) and
help understand a workflow. The display of portnames seems to be a local
property of actor ports now. I would like to suggest a global switch to turn
on/off the display of all portnames. The following would probably be good global
options:
- turn ON GLOBAL port name display (overriding local settings)
- turn OFF GLOBAL port name display (overriding local settings)
- turn ON LOCAL port name display (as provided by the local settings)
Bertram
Updated by Chad Berkley about 19 years ago
you should be able rt click an actor and select "show port names". there should
also be a menu item in the top level menu that says "show port names" and turns
port names on/off for all actors.
Actions