forked from qt-creator/qt-creator
		
	Doc: Replace "Tools > Options" with "Edit > Preferences"
The menu was moved and renamed. The Options dialog was also renamed "Preferences". Change-Id: I05d187915382b3ce49699d91304cd447c87e2bd6 Reviewed-by: Eike Ziller <eike.ziller@qt.io>
This commit is contained in:
		@@ -29,7 +29,7 @@
 | 
			
		||||
    \section2 Managing Device Processes
 | 
			
		||||
 | 
			
		||||
    You can view processes running on devices and kill them. Select
 | 
			
		||||
    \uicontrol Tools > \uicontrol Options > \uicontrol Devices >
 | 
			
		||||
    \uicontrol Edit > \uicontrol Preferences > \uicontrol Devices >
 | 
			
		||||
    \uicontrol Devices > \uicontrol {Show Running Processes}.
 | 
			
		||||
 | 
			
		||||
    You can filter the processes by name or ID in the
 | 
			
		||||
 
 | 
			
		||||
		Reference in New Issue
	
	Block a user