Skip to content

Rework "filename-info" logic #1532

@mwestphal

Description

@mwestphal

the ui.filename option controls whether the filename is displayed or not but setting it to true does nothing unless the filename has been set in ui.filename-info. Lets improve that.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

Status

Done

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions