Project

General

Profile

Actions
Copy link

Bug #1749

open

Global toggle for port name display

Added by Bertram Ludaescher about 20 years ago. Updated over 15 years ago.

Status:
In Progress
Priority:
Normal
Assignee:
Matthew Brooke
Category:
interface
Target version:
3.X.Y
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

Actions
Copy link

Also available in: Atom PDF