Number: 675 Date: 12-Apr-84 16':41':45 Submitter: Masinter Source: Jellinek Subject: Dedit should reset font cache when font set is redefined Assigned To: Sheil.pa Attn: Status: Closed In/By: Harmony Problem Type: Documentation Impact: Annoying Difficulty: Easy Frequency: Everytime Priority: Hopefully System: Programming Environment Subsystem: Code Editor Machine: 1100 Disk: Lisp Version: 12-Apr Source Files: DEDIT Microcode Version: Memory Size: File Server: Server Software Version: Disposition: ' [Date': 13 Apr 84 00':09 PST' From': Sheil.pa' Fixes AR 675 (font cache not cleared by FONTSET (I use Ron''s instead, thanks Ron));]' ["Sannella.PA" "21-Aug-84 17':04':15" Attn': Status':(Fixed->Closed) In/By':] Description: Date': 12 Apr 84 15':21 PST' From': Jellinek.pa' Subject': Lisp': DEdit font trouble' To': LispSupport.pa' ' Lisp System Date': 8-Apr-84 18':02':02' Machine': Dolphin (Duchamp)' Microcode version': 24,1' Memory size': 10000' Frequency': Always' Impact': Moderate' ' I prefer to use the MEDIUM font defined by the BIG package as my default font. The new DEdit seems to have trouble with it, though': it prettyprints some atoms in MEDIUM and some in a smaller font. Right-buttoning Redisplay is a temporary fix, in that it causes everything to be PPed in the smaller font. But my eyes can''t handle it. The last version of DEdit did not seem to have this problem.' Herb' ' -----' ' Date': 12 Apr 84 16':43':23 PST (Thursday)' From': masinter.pa' Subject': AR#675 ':DEDIT sometimes uses wrong font for display' In-reply-to': Jellinek''s message of 12 Apr 84 15':21 PST' To': Jellinek' cc': LispSupport, Sheil' reply-to': LispSupport' ' Herb, I submitted AR#675. I took the liberty of changing Frequency to Intermittent (did it really ALWAYS happen?) and Impact to Annoying. You may want to argue about those if I misread the situation.' ' Larry' ' -----' ' Date': 12 Apr 84 16':53 PST' From': Jellinek.pa' Subject': Re': AR#675 ':DEDIT sometimes uses wrong font for display' In-reply-to': masinter.pa''s message of 12 Apr 84 16':43':23 PST (Thursday)' To': Masinter' ' Yes, I believe it to happen each time I use DEdit with my default font set to MEDIUM.' ' -----' ' Date': 12 Apr 84 17':52 PST' From': Sheil.pa' Subject': Re': AR#675 ':DEDIT sometimes uses wrong font' In-reply-to': LispSupport''s message of 12 Apr 84' To': LispSupport.pa' cc': JELLINEK, Lispcore↑' ' The new DEdit caches font information. If one redefines the font set, that cache must be restablished. The only convenient way to do that is to (RESETDEDIT).' ' I am inclined to regard this as a documentation bug. Two alternatives': (1) have DEdit advise FONTSET to clear the cache (2) check the cache on any entry to the DEdit printer.' ' Preferences?' ' Beau' ' Workaround: Test Case: Edit-By: Sannella.PA Edit-Date: 21-Aug-84 17':04':16