334335336337338339340341342343
public Terminal getTerminal() { if(terminal == null) { if(Config.isOSPOSIXCompatible()) terminal = new POSIXTerminal(this); else terminal = new WindowsTerminal(this); } return terminal; }
336337338339340341342343344345
public Terminal getTerminal() { if(terminal == null) { if(Config.isOSPOSIXCompatible()) terminal = new POSIXTerminal(); else terminal = new WindowsTerminal(); } return terminal; }
329330331332333334335336337338
327328329330331332333334335336
342343344345346347348349350351
307308309310311312313314315316
308309310311312313314315316317
303304305306307308309310311312
304305306307308309310311312313