--- a/patches	Tue Nov 21 15:01:01 1995 +0100
+++ b/patches	Tue Nov 21 15:01:12 1995 +0100
@@ -219,6 +219,7 @@
 		  PullDownMenu CheckBox
 		  RadioButtonController
 
+		  SyncedMultiColumnTextView 
 		  TwoColumnTextView DiffTextView 
 		  FilenameEditField FilenameEnterBox
 		  ImageSelectionBox