mirror of
https://github.com/PDP-10/its.git
synced 2026-02-27 09:18:58 +00:00
Made it so that either DEBUGMODE or USERMODE could be used, and so
that both modes would not display annoying timer messages.
This commit is contained in:
@@ -191,7 +191,8 @@
|
||||
T)
|
||||
(SETQ *RSET NIL)
|
||||
(IOC C)
|
||||
(SETQ SH-PRINT-TIME T))
|
||||
;(SETQ SH-PRINT-TIME T)
|
||||
)
|
||||
|
||||
(DEFUN DEBUGMODE NIL
|
||||
(QUIETMODE)
|
||||
@@ -285,6 +286,7 @@
|
||||
(SHRDLU))
|
||||
|
||||
(DEBUGMODE)
|
||||
;(USERMODE)
|
||||
|
||||
(setq sh-standard-printout nil smnbreak nil smntrace nil makintern t annoyance t)
|
||||
|
||||
Reference in New Issue
Block a user