Skip to main content

VS Code Docs Use Keyboard Commands of Platform

The documentation for Microsoft Visual Studio Code uses keyboard references to commands that are specific to the platform they're displayed on.

A keyboard command might be something like the Control key used in conjunction with the C key to issue a copy command to an application from the keyboard, instead of through the menu system of a program with graphical user interface.  These keyboard commands are typically written in a shorthand of sorts.  Using the Control and C key example, might be represented as Ctrl+C.

These key combinations are different on a system running macOS than they are on a system running Windows, or a Linux or Unix variant.  On the Mac, the example above would be the Command key used in conjunction with the C key.  This is typically written as Cmd+C or ⌘+C.

For documentation written for multiple platforms like these, references to these keyboard commands might be written as one of the following examples.
  • Copy the contents to the clipboard (Ctrl+C or ⌘+C).
  • Copy the contents to the clipboard Ctrl+C (Windows) or ⌘+C (Mac).
  • Copy the contents to the clipboard (Linux Ctrl+C | Mac ⌘+C).

The docs for VS Code have take a more novel approach, and they refer to the keyboard command that is specific to the platform the docs are being viewed on.

Example document from Fedora.
An example of the VS Code release notes from Fedora.  Notice the Ctrl+P reference in the first line.

Example document from macOS.
An example of the VS Code release notes from macOS.  Notice the ⌘+P reference in the first line.

Comments

Popular posts from this blog

Skype Now Supports Emergency Calls In the US

With the latest round of updates to Skype , it was noticed today that the instant messaging and VoIP phone service now supports emergency calling in the United States. The release notes for the most recent update to the Android version of Skype indicated that the service now allows calls to be made to US emergency calling systems via 911.  Telephony services like Skype, Google Voice , and Vonage typically don't offer this emergency calling ability without some sort of intermediate step like deferring to the phone's default dialer, as is the case with Voice, or setting up a physical address location ahead of time which is how Vonage handles it. The indication is that Skype will handle the 911 calls natively, but when verifying with an account that does not have a Skype phone number assigned to it, it was found that the instructions in the FAQ explaining how to turn on emergency calling are not accurate. Emergency calling support in Skype for the United States Interestingly, th...

Allow Windows authentication using SQL Server driver with DBeaver

DBeaver will allow Microsoft Windows single sign on access when connecting to Microsoft SQL Server using the SQL Server driver (rather than jTDS ).  From the driver properties settings, set the integratedSecurity flag to true . Open the Connection configuration panel and choose the Driver properties section. Set the integratedSecurity flag to true . A subtle, but important step is to not provide username and password credentials to the connection.

Chrome Itself Logs Into Google When Logged Into Company's Services

Google has taken the liberty of logging Chrome into the user's account whenever logged in to any Google service. Some time ago, Google introduced the ability to have its browser, Chrome, log into the user's Google account whenever the user authenticated for any Google service.  That is, log in to Google Docs, for example, and the browser would be logged in as well. The pitch was that this relationship between being logged in to a service and the browser also being logged in, can help mitigate confusion when a user logs out of a Google service but fails to realize the browser is still logged in.  The mystery can be eliminated if the browser keeps the two in the same state automatically. There is the added benefit that the browser would be better able to synchronize the user experience across each browser that was also logged into the user's account. For example, Chrome on a mobile device could have access to the history from Chrome on a laptop. The idea is not nove...