(self)
| 37 | disp_frame.label(str(COUNTER)) |
| 38 | |
| 39 | def open_file(self): |
| 40 | fc = Fl_File_Chooser(".", "*.rs", Fl_File_Chooser.SINGLE, "Choose File") |
| 41 | fc.show() |
| 42 | while fc.visible(): |
| 43 | Fl.wait() |
| 44 | self.filename = fc.value(1) |
| 45 | |
| 46 | |
| 47 | class NoEscWindow(Fl_Window): |