|
tip
|
feat(status-bar): add multiple tips (#848)
|
2021-12-09 18:53:46 +01:00 |
|
first_line.rs
|
Feature: Add pane names (#928)
|
2021-12-09 23:30:40 +05:30 |
|
main.rs
|
feat(status-bar): add multiple tips (#848)
|
2021-12-09 18:53:46 +01:00 |
|
second_line.rs
|
hotfix: default to quicknav tip
|
2021-12-10 09:42:40 +01:00 |
