@@ -32,19 +32,23 @@ def __init__(self, config, locals_, banner, interp=None):
32
32
extra_bytes_callback = self .input_generator .unget_bytes ,
33
33
)
34
34
35
- self ._request_refresh = self .input_generator .event_trigger (
35
+ self ._request_refresh_callback = self .input_generator .event_trigger (
36
36
events .RefreshRequestEvent
37
37
)
38
- self ._schedule_refresh = self .input_generator .scheduled_event_trigger (
39
- events .ScheduledRefreshRequestEvent
38
+ self ._schedule_refresh_callback = (
39
+ self .input_generator .scheduled_event_trigger (
40
+ events .ScheduledRefreshRequestEvent
41
+ )
40
42
)
41
- self ._request_reload = self . input_generator . threadsafe_event_trigger (
42
- events .ReloadEvent
43
+ self ._request_reload_callback = (
44
+ self . input_generator . threadsafe_event_trigger ( events .ReloadEvent )
43
45
)
44
- self .interrupting_refresh = (
46
+ self ._interrupting_refresh_callback = (
45
47
self .input_generator .threadsafe_event_trigger (lambda : None )
46
48
)
47
- self .request_undo = self .input_generator .event_trigger (events .UndoEvent )
49
+ self ._request_undo_callback = self .input_generator .event_trigger (
50
+ events .UndoEvent
51
+ )
48
52
49
53
with self .input_generator :
50
54
pass # temp hack to get .original_stty
@@ -57,6 +61,21 @@ def __init__(self, config, locals_, banner, interp=None):
57
61
orig_tcattrs = self .input_generator .original_stty ,
58
62
)
59
63
64
+ def _request_refresh (self ):
65
+ return self ._request_refresh_callback ()
66
+
67
+ def _schedule_refresh (self , when = "now" ):
68
+ return self ._schedule_refresh_callback (when )
69
+
70
+ def _request_reload (self , files_modified = ("?" ,)):
71
+ return self ._request_reload_callback (files_modified )
72
+
73
+ def interrupting_refresh (self ):
74
+ return self ._interrupting_refresh_callback ()
75
+
76
+ def request_undo (self , n = 1 ):
77
+ return self ._request_undo_callback (n )
78
+
60
79
def get_term_hw (self ):
61
80
return self .window .get_term_hw ()
62
81
0 commit comments