Project

General

Profile

Bug #1749

Global toggle for port name display

Added by Bertram Ludaescher about 14 years ago. Updated over 9 years ago.

Status:
In Progress
Priority:
Normal
Category:
interface
Target version:
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

History

#1 Updated by Chad Berkley almost 14 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.

#2 Updated by Redmine Admin over 5 years ago

Original Bugzilla ID was 1749

Also available in: Atom PDF