PR# 13501 Ctrl+Shift+V pastes text

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: High
Date: 2007/10/25
Class: Bug
Severity: Serious
Number: 13501
Release: 6.0.6.9618
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.8) Gecko/20071008 Firefox/2.0.0.8
Synopsis: Ctrl+Shift+V pastes text

Description
I wanted to use Ctrl+Shift+V as a keyboard shortcut, but when I type it, it pastes the clipboard into the editor!

Ctrl+V is the shortcut for pasting. Please filter out the Shift key when checking for the Paste operation.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2009/09/04   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Fixed in revision rev#80624

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:peter_gummer   
											Date:2007/12/20   
											
											Download   
										

										

                                            
											
										 	
Actually, it looks like Ctrl+Shift+Z and Ctrl+Shift+Y have the same bug. So when fixing Ctrl+Shift+V, please make sure that all of the others are fixed too.