Skip to content

set active_tab_id type as Id #24

Open
@iamazy

Description

@iamazy

At the moment, active_tab_id type is Option<Id>, when initialize a terminal, must set this value event if don't need it.

So it's better to change its type to Id and set Id::NULL as default value

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions