Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release 0.7 #181

Merged
merged 31 commits into from
Sep 18, 2023
Merged
Changes from 1 commit
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
45b4ab0
Expand styling options for tabs (#139)
LennysLounge Jun 6, 2023
fd0c238
feat: double click on separator to reset size (#146)
zkrising Jul 1, 2023
73c8967
Update version number and changelog
Adanos020 Jul 1, 2023
850c339
feat: allow disabling vertical/horizontal splits (#145)
zkrising Jul 23, 2023
afce578
Rename `SplitTypes` to `AllowedSplits`. Update changelog.
Adanos020 Jul 23, 2023
f9c0a12
Allow individual tabs to be closable or not (#150)
ptxmac Jul 29, 2023
daa69e0
Remove blank space where the close button is not enabled (#153)
12089897411 Aug 11, 2023
0bd85e5
Add the NodeIndex to context_menu() parameter list (#157)
ToppDev Aug 21, 2023
96f04c6
Support for undocking and docking tabs as windows (#149)
Vickerinox Aug 27, 2023
5c26183
pdate tab's scroll
12089897411 Aug 24, 2023
33f576e
update tab's scroll
12089897411 Aug 24, 2023
56c1352
update scroll mode for every tab
12089897411 Aug 24, 2023
1d10c70
update scroll mode for every tab
12089897411 Aug 25, 2023
87f4db5
update scroll mode for every tab
12089897411 Aug 25, 2023
fffebd7
Finish up rebase
Adanos020 Aug 27, 2023
8007b14
Reformat
Adanos020 Aug 27, 2023
d686736
Enable/disable scroll bars on individual tabs. (#160)
12089897411 Aug 27, 2023
c980560
Reformat
Adanos020 Aug 27, 2023
6713787
Update changelog and contribution guide
Adanos020 Aug 27, 2023
d818a3a
Make `TabViewer::{on_add,add_popup}` accept corresponding surface ind…
Adanos020 Aug 27, 2023
deaf0ff
Fix bug #168 (#171)
Vickerinox Aug 28, 2023
2c8011d
Fix for issue #172 (#173)
Vickerinox Aug 30, 2023
297aa63
Minor clarifications to documentation and changelog
Adanos020 Aug 30, 2023
67c606f
Add `serde` attributes to `DockState` and all types stored in it
Adanos020 Sep 2, 2023
37e9b5e
Make `DockState` and types related to it debugable
Adanos020 Sep 2, 2023
1de3979
Fix for issue #174 (#176)
Vickerinox Sep 4, 2023
9ace31a
Fixes to small bugs (#177)
Vickerinox Sep 4, 2023
567bf55
Translations (#178)
Adanos020 Sep 6, 2023
4b50722
Fix hover_pos on touch screens (#180)
ToppDev Sep 18, 2023
aa1f752
Update changelog
Adanos020 Sep 18, 2023
5a2a81f
New demo GIF
Adanos020 Sep 18, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove blank space where the close button is not enabled (#153)
12089897411 authored and Adanos020 committed Aug 28, 2023
commit daa69e054000da312c659bbb0100afce381c4f2b
2 changes: 1 addition & 1 deletion src/widgets/dock_area/mod.rs
Original file line number Diff line number Diff line change
@@ -789,7 +789,7 @@ impl<'tree, Tab> DockArea<'tree, Tab> {
let galley = label.into_galley(ui, None, f32::INFINITY, TextStyle::Button);
let x_spacing = 8.0;
let text_width = galley.size().x + 2.0 * x_spacing;
let close_button_size = if self.show_close_buttons {
let close_button_size = if show_close_button {
Style::TAB_CLOSE_BUTTON_SIZE.min(style.tab_bar.height)
} else {
0.0