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

PVS Bug 958


Synopsis:        PVS bug report
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           open
Class:           sw-bug
Arrival-Date:    Sat Jun 10 17:20:00 2006
Originator:      Daniel Elenius
Organization:    csl.sri.com
Release:         PVS 3.3
Environment: 
 System:          
 Architecture: 

Description: 
  On my setup (max os x, running pvs in the mac-native Carbon Emacs), When 
  I execute the change-context command, I get a Save As... dialog, with no 
  way of choosing a path, other than writing it manually in the filename 
  field. If I just click a directory, the OK button is disabled. If I 
  click a file, the OK button gets enabled, but if I hit it, I get the 
  message that I have to choose a directory, not a file.
  
  Daniel

How-To-Repeat: 

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