SourceListView: Fix runtime warning about granite_widgets_tab_set_icon

This commit is contained in:
Ryo Nakano 2023-05-27 08:59:56 +09:00
parent a615422cff
commit 40cbd79e20
No known key found for this signature in database
GPG Key ID: 93512F56EC8823B8
1 changed files with 1 additions and 0 deletions

View File

@ -520,6 +520,7 @@ namespace EasySSH {
var t = get_term_widget (new_tab);
window.current_terminal = t;
var box = (TerminalBox)new_tab.page;
box.tab = new_tab;
box.set_selected();
new_tab.icon = null;
var all_read = true;