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,9 +169,6 @@ 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 ;
175172 }
176173
177174 var notification_title = _(" Process completed" );
Original file line number Diff line number Diff line change @@ -28,7 +28,6 @@ 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;
3231 public bool resized {get ; set ;}
3332 public TabState tab_state { get ; set ; default = NONE ; }
3433
@@ -145,7 +144,6 @@ namespace Terminal {
145144 construct {
146145 pointer_autohide = true ;
147146 terminal_id = " %i " . printf (terminal_id_counter++ );
148- init_complete = false ;
149147
150148 update_audible_bell ();
151149 update_cursor_shape ();
@@ -1025,14 +1023,6 @@ namespace Terminal {
10251023 font_scale = 1.0 ;
10261024 }
10271025
1028- public bool is_init_complete () {
1029- return init_complete;
1030- }
1031-
1032- public void set_init_complete () {
1033- init_complete = true ;
1034- }
1035-
10361026 private bool on_drop (Value val, double x, double y) {
10371027 var uris = Uri . list_extract_uris (val. dup_string ());
10381028 string path;
You can’t perform that action at this time.
0 commit comments