Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 519


Synopsis:        font-lock in Emacs: pvs-mode should call 'kill-all-local-variables'
Severity:        serious
Priority:        medium
Responsible:     dave_sc (Dave Stringer-Calvert)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Thu Feb  1 10:20:06 2001
Originator:      Eric Marsden
Organization:    mail.dotcom.fr
Release:         PVS 2.3
Environment: 
 System:          
 Architecture: 

Description: 
  Hello,
  
  There is a minor bug in the way font locking is handled in the PVS
  environment with Emacs. If the user has enabled global-font-lock-mode
  new buffers should be fontified automatically; this is not the case
  for pvs-mode buffers.
  
  The reason is that you forget to call 'kill-all-local-variables' in
  the function 'pvs-mode' in pvs-mode.el. All major-modes should call
  this function: it calls change-major-mode-hook, which font-lock uses
  to add the current buffer to the list of buffers to be fontified. 
  
  -- 
  Eric Marsden                          <URL:http://www.laas.fr/~emarsden/>
  

How-To-Repeat: 

Fix: 

 [davesc]
 Modified pvs-mode and a few other major modes that were missing this.

Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools