File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -169,6 +169,9 @@ public class Terminal.Application : Gtk.Application {
169169
170170 if (terminal == null ) {
171171 return ;
172+ } else if (! terminal. is_init_complete ()) {
173+ terminal. set_init_complete ();
174+ return ;
172175 }
173176
174177 var notification_title = _(" Process completed" );
Original file line number Diff line number Diff line change @@ -28,6 +28,7 @@ namespace Terminal {
2828 public string current_working_directory { get ; private set ; default = " " ;}
2929 public string program_string { get ; set ; default = " " ; }
3030 static int terminal_id_counter = 0 ;
31+ private bool init_complete;
3132 public bool resized {get ; set ;}
3233 public TabState tab_state { get ; set ; default = NONE ; }
3334
@@ -130,6 +131,7 @@ namespace Terminal {
130131 construct {
131132 pointer_autohide = true ;
132133 terminal_id = " %i " . printf (terminal_id_counter++ );
134+ init_complete = false ;
133135
134136 update_audible_bell ();
135137 update_cursor_shape ();
@@ -1009,6 +1011,14 @@ namespace Terminal {
10091011 font_scale = 1.0 ;
10101012 }
10111013
1014+ public bool is_init_complete () {
1015+ return init_complete;
1016+ }
1017+
1018+ public void set_init_complete () {
1019+ init_complete = true ;
1020+ }
1021+
10121022 private bool on_drop (Value val , double x , double y ) {
10131023 var uris = Uri . list_extract_uris (val. dup_string ());
10141024 string path;
You can’t perform that action at this time.
0 commit comments