diff --git a/exec/load/text.js b/exec/load/text.js
index b8c735ad1c1ec1ceb22e51737306513664b76367..b961599495c7de1af52b01512d747a44f16adf53 100644
--- a/exec/load/text.js
+++ b/exec/load/text.js
@@ -823,9 +823,17 @@ var HitYourBackspaceKey=811;
 var CharacterReceivedFmt=812;
 var InvalidBackspaceKeyFmt=813;
 var SwapDeleteKeyQ=814;
-var PetTermDetected=815;
-var MsgCarbonCopyList=816;
+var PetTerminalDetected=815;
+var PetTerminalQ=816;
+var TerminalAutoDetect=817;
+var TerminalColumns=818;
+var TerminalRows=819;
+var TerminalMonochrome=820;
+var TerminalColor=821;
+var TerminalIceColor=822;
+var IceColorTerminalQ=823;
+var MsgCarbonCopyList=824;
 
-var TOTAL_TEXT=817;
+var TOTAL_TEXT=825;
 
 this;