2024-09-20 18:02:10 +03:00
|
|
|
mod label;
|
|
|
|
mod page;
|
2024-09-18 22:38:18 +03:00
|
|
|
|
2024-09-23 18:51:48 +03:00
|
|
|
use label::Label;
|
|
|
|
use page::Page;
|
2024-09-23 15:56:09 +03:00
|
|
|
|
2024-09-24 19:10:40 +03:00
|
|
|
use gtk::{prelude::WidgetExt, GestureClick, Notebook};
|
|
|
|
use std::{cell::RefCell, collections::HashMap, sync::Arc};
|
|
|
|
|
2024-09-22 02:00:54 +03:00
|
|
|
pub struct Tab {
|
2024-09-23 18:51:48 +03:00
|
|
|
widget: Notebook,
|
2024-09-24 19:10:40 +03:00
|
|
|
// Dynamically allocated reference index
|
|
|
|
labels: RefCell<HashMap<u32, Arc<Label>>>,
|
|
|
|
pages: RefCell<HashMap<u32, Arc<Page>>>,
|
2024-09-18 22:38:18 +03:00
|
|
|
}
|
|
|
|
|
2024-09-22 02:00:54 +03:00
|
|
|
impl Tab {
|
2024-09-22 22:23:44 +03:00
|
|
|
// Construct
|
2024-09-23 18:51:48 +03:00
|
|
|
pub fn new() -> Tab {
|
|
|
|
Self {
|
2024-09-24 19:10:40 +03:00
|
|
|
// Init widget
|
2024-09-23 18:51:48 +03:00
|
|
|
widget: Notebook::builder().scrollable(true).build(),
|
2024-09-24 19:10:40 +03:00
|
|
|
// Init empty hashmap as no tabs yet
|
|
|
|
labels: RefCell::new(HashMap::new()),
|
|
|
|
pages: RefCell::new(HashMap::new()),
|
2024-09-23 18:51:48 +03:00
|
|
|
}
|
2024-09-18 22:47:53 +03:00
|
|
|
}
|
2024-09-22 02:00:54 +03:00
|
|
|
|
2024-09-22 22:23:44 +03:00
|
|
|
// Actions
|
2024-09-23 22:40:23 +03:00
|
|
|
pub fn append(&self, is_current_page: bool) -> u32 {
|
2024-09-23 21:51:32 +03:00
|
|
|
// Init new tab components
|
|
|
|
let label = Arc::new(Label::new(false));
|
2024-09-24 19:10:40 +03:00
|
|
|
let page = Arc::new(Page::new());
|
2024-09-23 18:51:48 +03:00
|
|
|
|
2024-09-23 21:51:32 +03:00
|
|
|
// Init additional label actions
|
|
|
|
let controller = GestureClick::new();
|
|
|
|
|
|
|
|
controller.connect_pressed({
|
|
|
|
let label = label.clone();
|
|
|
|
move |_, n: i32, _, _| {
|
|
|
|
// double click
|
|
|
|
if n == 2 {
|
2024-09-23 22:01:48 +03:00
|
|
|
label.pin(!label.is_pinned()); // toggle
|
2024-09-23 21:51:32 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
label.widget().add_controller(controller);
|
|
|
|
|
2024-09-24 19:10:40 +03:00
|
|
|
// Append new Notebook page
|
2024-09-23 18:51:48 +03:00
|
|
|
let page_number = self.widget.append_page(page.widget(), Some(label.widget()));
|
|
|
|
|
2024-09-24 19:10:40 +03:00
|
|
|
// Additional setup for Notebook tab created
|
2024-09-23 18:51:48 +03:00
|
|
|
self.widget.set_tab_reorderable(page.widget(), true);
|
|
|
|
|
2024-09-23 22:40:23 +03:00
|
|
|
if is_current_page {
|
2024-09-23 18:51:48 +03:00
|
|
|
self.widget.set_current_page(Some(page_number));
|
|
|
|
}
|
|
|
|
|
2024-09-24 19:10:40 +03:00
|
|
|
// Register dynamically created tab components in the HashMap index
|
|
|
|
// @TODO static key on tab reorder
|
|
|
|
// @TODO cleanup on tab remove
|
|
|
|
self.labels
|
|
|
|
.borrow_mut()
|
|
|
|
.insert(page_number.try_into().unwrap(), label);
|
|
|
|
|
|
|
|
self.pages
|
|
|
|
.borrow_mut()
|
|
|
|
.insert(page_number.try_into().unwrap(), page);
|
|
|
|
|
2024-09-23 21:51:32 +03:00
|
|
|
// Result
|
2024-09-23 18:51:48 +03:00
|
|
|
page_number
|
2024-09-22 22:23:44 +03:00
|
|
|
}
|
2024-09-18 22:47:53 +03:00
|
|
|
|
2024-09-24 19:10:40 +03:00
|
|
|
// Close active tab
|
2024-09-23 16:03:39 +03:00
|
|
|
pub fn close(&self) {
|
2024-09-24 00:17:53 +03:00
|
|
|
self.widget.remove_page(self.widget.current_page());
|
2024-09-23 16:03:39 +03:00
|
|
|
}
|
|
|
|
|
2024-09-24 19:10:40 +03:00
|
|
|
// Close all tabs
|
2024-09-23 16:03:39 +03:00
|
|
|
pub fn close_all(&self) {
|
2024-09-24 01:00:52 +03:00
|
|
|
// @TODO skip pinned or make confirmation alert (GTK>=4.10)
|
2024-09-24 00:56:46 +03:00
|
|
|
while let Some(page_number) = self.widget.current_page() {
|
|
|
|
self.widget.remove_page(Some(page_number));
|
|
|
|
}
|
|
|
|
}
|
2024-09-23 16:03:39 +03:00
|
|
|
|
2024-09-24 19:10:40 +03:00
|
|
|
// Toggle pin status for active tab
|
|
|
|
pub fn pin(&self) {
|
|
|
|
if let Some(page_number) = self.widget.current_page() {
|
|
|
|
let label = self.labels.borrow();
|
|
|
|
label
|
|
|
|
.get(&page_number)
|
|
|
|
.unwrap()
|
|
|
|
.pin(!label.get(&page_number).unwrap().is_pinned()); // toggle
|
|
|
|
}
|
2024-09-23 15:44:33 +03:00
|
|
|
}
|
|
|
|
|
2024-09-22 22:23:44 +03:00
|
|
|
// Getters
|
2024-09-23 18:51:48 +03:00
|
|
|
pub fn widget(&self) -> &Notebook {
|
2024-09-22 22:23:44 +03:00
|
|
|
&self.widget
|
|
|
|
}
|
2024-09-20 18:02:10 +03:00
|
|
|
}
|