Ticket #387: repeat-hasprefs-bug.patch

File repeat-hasprefs-bug.patch, 716 bytes (added by David Aspinall, 13 years ago)

Simple patch to prevent loss of settings

Line 
1Index: lib/proof-compat.el
2===================================================================
3RCS file: /disk/cvs/proofgen/ProofGeneral/lib/proof-compat.el,v
4retrieving revision 11.1
5diff -B -b -c -r11.1 proof-compat.el
6*** lib/proof-compat.el 15 Nov 2010 19:10:38 -0000      11.1
7--- lib/proof-compat.el 30 Jan 2011 21:35:01 -0000
8***************
9*** 72,79 ****
10             custom-version
11             saved-value
12             theme-value
13!            theme-face))
14!   (makunbound symbol))
15 
16 
17  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
18--- 72,78 ----
19             custom-version
20             saved-value
21             theme-value
22!            theme-face)))
23 
24 
25  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;