#DEFINE CROSSHAIRS INSTALL#
#DEFINE CROSSHAIRS MANUAL#

Search your VSCode settings for 'crosshair' to see the options that you can configure. Produce tests for the function at the current cursor position. If no path is given, watch the current active file in the editor.Ĭrosshair-vscode.gentests. There is an optional argument indicating the path to a file. Open a new terminal watching a file with crosshair. Start the background watcher process.Ĭrosshair-vscode.watch. Start the background watcher process.Ĭrosshair-vscode.stop. This is handy if you do not want to memorize individual commands, and want to set upĪ single keyboard shortcut to invoke crosshair-vscode.Ĭrosshair-vscode.start. Show a quick pick that allows you to select a command The extension defines the following commands:Ĭrosshair-vscode.pick. If you want to be even more targeted by just checking an individual file, use the 'watch in terminal' command. You may decide to leave some files open to ensure some contracts continue to be checked as you work. NOTE: To reduce wasteful computation, the background watcher only checks contracts in files that are open. When it finds something, you'll see it highlighted like this: Once started, CrossHair will attempt to detect contract counterexamples in the background. Most importantly, you'll want to start the background watcher by default, it does not auto-start. When editing Python files, you'll see a new item labeled 'CH off' (or 'CH on' if the background watcher is already running).Ĭlick on this item to open a menu and perform various commands. The extension can be accessed from the status bar.

#DEFINE CROSSHAIRS INSTALL#

Use the Visual Studio marketplace to install the extension by (the environment is displayed and can be changed in the status bar)

Note: GamePlus functions will not display at the same time.These packages must be installed in each Python environment that you wish to use. It’s icon on the monitor: (The hotkey arrangements vary from each model.)Īfter enabling the GamePlus, move the 5-way navigation up/down to select function and press to confirm the function needed. Note: The OSD arrangement may vary from different models.

Open OSD (On-screen Display) menu -> System Setup -> GamePlus -> ON Press the button to turn on the OSD menuĢ. This allows users to pre-check for screen lag during gameplay and can be used in a variety of games.Īctivate from the OSD and the frame frequency (rate) will be counted/ displayed at the upper left of the screen.ĭisplay Alignment provides an easy way for you to set up an immersive visual experience by accessing the GamePlus hotkeyĪctivate from the OSD and the alignment indicators displayed on the 4-sides of the screen will help you line up your monitors.ġ. Select one of five different time intervals and show it at any position you want on the screen.įPS(Frames per second) counter provides real-time refresh rate and can be a reminder when the frame rate runs abnormally. When playing either time-based or turned-based RTS (Real-time Strategy) games, this feature allows gamers to measure their target game rate. You can select four different types of crosshair to suit your gaming environment.Ĭhoose from 4 different types of crosshair and adjust the crosshair position if needed. GamePlus also provides hotkeys which allow you to enable OSD crosshair, Timer, FPS counter and Display Alignment functions.

#DEFINE CROSSHAIRS MANUAL#

Please check the user manual to see if your monitor contains this feature. To provide you more detailed instruction, you can also click ASUS Youtube video link below to know more about ASUS GamePlusĪSUS GamePlus is a tool co-developed with input from pro-gamers that allows you to practice and improve your gaming skills. We've added new features such as the FPS(Frames per second) Counter on recent gaming models such as the PG279Q, MG278Q and have also added Display Alignment to the MG248Q, MG24UQ and MG28UQ.

Define crosshairs