Tracker »

Bug 1183 – Rename session tab

Component: GUI

Version: Unspecified

Severity: Enhancement

Priority: Medium

Votes: 0

Status: RESOLVED

Resolution: IMPLEMENTED

Implemented in: 5.14

Child of Bug 851.

Bug 775 has been marked as a duplicate of this bug.

Session name can be specified on command line already by Bug 1373 (fixed in 5.15.2).

Implemented.

Caused: Ad hoc site opened from a workspace showed its internal number a name instead of a friendly generated name
Commit 307b4da1

Follow-up improvement: When renaming an ad-hoc site, use a generated friendly name as a start (implemented in 5.15.2)
Commit 130140b7

Documentation