Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

How to remove a keyboard shortcut for Anaconda

I just installed an Anaconda SciPy distribution (https://store.continuum.io/cshop/anaconda/) on Windows 8.1. Whenever I press the right alt + a button combination, Anaconda console shows up. Why on the Earth they would assign such shortcut which is responsible for the ą char (Polish programmers keyboard). Do you know a solution for removing this keyboard shortcut without uninstalling Anaconda ? Maybe it is a background process which listens for this key press. Thank you for your help!

like image 209
oski86 Avatar asked Nov 14 '13 15:11

oski86


People also ask

How do I delete keyboard shortcuts?

Press the SHIFT+TAB key repeatedly until the cursor is in the Current keys box. Press DOWN ARROW or UP ARROW to select the keyboard shortcut that you want to remove. Press the TAB key repeatedly until Remove is selected, and then press ENTER.

How do I change keyboard shortcuts in Jupyter?

Starting with Jupyter Notebook 5.0, you can customize the command mode shortcuts from within the Notebook Application itself. Head to the ``Help`` menu and select the ``Edit keyboard Shortcuts`` item. A dialog will guide you through the process of adding custom keyboard shortcuts.

How do you exit an icon using the keyboard?

With the app open, press the keys Alt + F4. The app is immediately closed.


2 Answers

If you go to the start screen and find the menu item for 'Anaconda Command Prompt'; right click on it and view properties -- is there a hotkey there? You should be able to delete it.

I'll look into the installer to see if the new console shortcut was added with a hotkey binding -- I suspect it might have been.

like image 123
Trent Nelson Avatar answered Oct 20 '22 14:10

Trent Nelson


The first answer needs a little tweak.

Following the recipe as above:

  1. Go to Metro Start Screen
  2. Find Anaconda
  3. Right click

... and then there is no option to change properties,

  1. So click "Add to TaskBar"
  2. when you see it on the TaskBar (Desktop Mode) then Right-Click and change properties.
like image 40
piotr Avatar answered Oct 20 '22 14:10

piotr