diff options
Diffstat (limited to 'resources-en/src/tips/excluded/F12.html')
-rw-r--r-- | resources-en/src/tips/excluded/F12.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/resources-en/src/tips/excluded/F12.html b/resources-en/src/tips/excluded/F12.html new file mode 100644 index 000000000000..5d07305da3f0 --- /dev/null +++ b/resources-en/src/tips/excluded/F12.html @@ -0,0 +1,8 @@ +<html> +<body style="font-family: Verdana; font-size: 13;" LEFTMARGIN="25" TOPMARGIN="25"><table cellpadding="15" width="98%" border="0"><tr><td> + +The &shortcut:JumpToLastWindow; key moves focus from the editor to the last focused tool window. It is especially useful when processing +search results or compiler messages. + +</td></tr></table></body> +</html> |