diff options
author | DLFW <daniel@llin.info> | 2023-10-09 04:39:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-08 22:39:00 -0400 |
commit | 8412f0534c7c7c64d3a5ebc602fbb298b9f6eba7 (patch) | |
tree | 8eb39b1a3bb138d08dc963c93acd19f0a810de2c /src/ui/views/tui_worker_view.rs | |
parent | 55d50925498c5b92cb7a327b506cd16f8c611255 (diff) |
Scrollable tab-bar (#437)
This implements a scrollable tab bar, like discussed in #233.
This makes tabs easier to read, better utilizes the space in the top-bar
and makes handling many tabs way easier.
The display of the current directory has been removed.
The current tab will show the directory always in full form.
The directories of other tabs will be shown in full form if there is
enough space, otherwise, they will be shown in a short form.
If the available space in the top-bar is still not sufficient, scroll
tags will be added at each end.
The long-form is currently defined as the full, absolute path.
The short-form is currently defined as the last directory element of the
path.
The tab-bar is configurable in terms of font styling and style character
(like dividers, prefixes, and postfixes).
Documentation has been created in a separate file.
Collateral impact:
* The `tilde_in_titlebar` option for `[display]` in `joshuto.toml`
has been removed.
(Because the "current dir display" has been removed.)
* The `display_mode` option for `[tabs]` in `joshuto.toml`
has been removed and with it, also the `tab_bar_mode` command.
The appearance of index-numbers in tags is not configurable anymore.
Numbers are shown if and only if there are more than one tab.
This feature can be re-introduced later in some other form if still
desired with the new tab-bar.
With the new tab-bar, this configuration option did not make sense the
way it was designed.
* The `max_len` option for `[tabs]` in `joshuto.toml`
has been removed. (Because tabs don't have a fixed width anymore.)
* The function/feature of shortening paths by replacing heading path
elements with their first character only has been removed.
(Because I expect that this hard-to-interpret representation of a path
will rarely be beneficial, now that there is a better space utilization in
the top bar.)
* The "old" tab-bar configuration options have been removed.
* A `AppStyleOptionsRaw` struct has been introduced to allow handling of
more complex default styling logic. Each styling attribute is defined
there as an `Option` to indicate if a styling option has been
set by the user or not.
* A `PathStyleIfSome` trait is now available in "utils" to patch ratatui
styles with another, _optional_ style.
Diffstat (limited to 'src/ui/views/tui_worker_view.rs')
-rw-r--r-- | src/ui/views/tui_worker_view.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/ui/views/tui_worker_view.rs b/src/ui/views/tui_worker_view.rs index 3140d89..8ed3249 100644 --- a/src/ui/views/tui_worker_view.rs +++ b/src/ui/views/tui_worker_view.rs @@ -22,8 +22,7 @@ impl<'a> Widget for TuiWorkerView<'a> { } let rect = Rect { height: 1, ..area }; - let curr_tab = self.context.tab_context_ref().curr_tab_ref(); - TuiTopBar::new(self.context, curr_tab.cwd()).render(rect, buf); + TuiTopBar::new(self.context).render(rect, buf); let rect = Rect { x: 0, |