PR# 5362 Edit | Paste remains enabled when not appropriate
Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: Low
Date: 2005/08/01
Class: Bug
Severity: Non-critical
Number: 5362
Release: 5.6.1128
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7.8) Gecko/20050511 Firefox/1.0.4
Synopsis: Edit | Paste remains enabled when not appropriate
Description
The Paste menu item never seems to be disabled, even when there is nothing in the clipboard suitable for pasting into the editor.
To Reproduce
1. In the EiffelStudio editor, select and copy some text. 2. Open the Edit menu. Note that the Paste item is correctly enabled. 3. Close the Edit menu without selecting an item. 4. Hit the Prt Scr key to copy a screenshot to the clipboard. 5. Open the Edit menu. Note that the Paste item remains incorrectly enabled.
Problem Report Interactions