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:


Status: Closed

In/By: Harmony

Problem Type: Documentation

Impact: Annoying

Difficulty: Easy

Frequency: Everytime

Priority: Hopefully

System: Programming Environment

Subsystem: Code Editor

Machine: 1100


Lisp Version: 12-Apr

Source Files: DEDIT

Microcode Version: 

Memory Size: 

File Server: 

Server Software Version: 

Disposition: '
[Date': 13 Apr 84 00':09 PST'
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'
Subject': Lisp': DEdit font trouble'
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.'
Date': 12 Apr 84 16':43':23 PST (Thursday)'
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.'
Date': 12 Apr 84 16':53 PST'
Subject': Re': AR#675 ':DEDIT sometimes uses wrong font for display'
In-reply-to':''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'
Subject': Re': AR#675 ':DEDIT sometimes uses wrong font'
In-reply-to': LispSupport''s message of 12 Apr 84'
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.'


Test Case: 

Edit-By: Sannella.PA

Edit-Date: 21-Aug-84 17':04':16