mirror of
https://github.com/YGGverse/Yoda.git
synced 2026-03-31 16:45:27 +00:00
remove extra data type definition
This commit is contained in:
parent
a2c4389498
commit
76ddc32a7c
1 changed files with 1 additions and 1 deletions
|
|
@ -34,7 +34,7 @@ impl Tab {
|
||||||
// Actions
|
// Actions
|
||||||
pub fn activate(&self, tab: Arc<Self>) {
|
pub fn activate(&self, tab: Arc<Self>) {
|
||||||
self.widget.connect_page_removed({
|
self.widget.connect_page_removed({
|
||||||
move |_, widget: &Widget, _| {
|
move |_, widget, _| {
|
||||||
// Cleanup HashMap index
|
// Cleanup HashMap index
|
||||||
let id = &widget.widget_name();
|
let id = &widget.widget_name();
|
||||||
tab.labels.borrow_mut().remove(id);
|
tab.labels.borrow_mut().remove(id);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue