From 645b7ca3d63b54af07c7c5efeaa331f570ce5935 Mon Sep 17 00:00:00 2001
From: Brian Koropoff <brianhk@cs.washington.edu>
Date: Fri, 11 Apr 2003 02:36:10 +0000
Subject: [PATCH] New version of infobot.gib that supports factoid locking, and
 an insignificant change to the GIB docs.

---
 doc/config/gib/infobot.gib | 8 ++++++--
 doc/gib/GIB.lyx            | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/doc/config/gib/infobot.gib b/doc/config/gib/infobot.gib
index 4a12f67cd..52c3b610f 100644
--- a/doc/config/gib/infobot.gib
+++ b/doc/config/gib/infobot.gib
@@ -159,8 +159,12 @@ function infobot::forgetFactoid_f {
 	}
 	fact = $(infobot::makeKey $args[3])
 	if #{facts.$fact} {
-		delete facts.$fact
-		infobot::say $args[2], ": I forgot about ", $args[3], "."
+		if ${facts.${fact}[2]} {
+			infobot::say $args[2], ": That factoid is locked."
+		} else {
+			delete facts.$fact
+			infobot::say $args[2], ": I forgot about ", $args[3], "."
+		}
 	} else {
 		infobot::say $args[2], ": I don't know anything about ", $args[3], "."
 	}
diff --git a/doc/gib/GIB.lyx b/doc/gib/GIB.lyx
index 9ce8b2191..b65c58c1e 100644
--- a/doc/gib/GIB.lyx
+++ b/doc/gib/GIB.lyx
@@ -1958,7 +1958,7 @@ Figure
 break
 \family default 
  and its output, while Figure 
-\begin_inset LatexCommand \vref{cap:continue}
+\begin_inset LatexCommand \ref{cap:continue}
 
 \end_inset