PR# 10798 Request to add preference that makes Editor read-only

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2006/07/27
Class: Feature Request
Severity: Non-critical
Number: 10798
Release: 5.7.61570
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.7.10) Gecko/20050726 Firefox/1.0.6 Solaris 9 on SPARC
Synopsis: Request to add preference that makes Editor read-only

Description
One of our developers has asked whether you could add a
preference that makes the Editor read-only.  We don't use
the editor for changing anything but we do use it to look
at classes.  Such a preference would prevent accidental 
changes when we don't intend to ever make changes via the
estudio Editor.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions