I wanted to stop isabelle from doing the proof steps as I write since its impossible to remember complicated equations as I try to tell it with rule_tac what the term should be while it dissapears.
Is there a keyboard short cut with isabelle for auto update?
The action is called "Update state output" in the keybinding section (Plugin menu > Plugin, Global option tab, jEdit > Keybindings in the bar on the left) and is by default bound to S-ENTER.
So untik the "Auto update" and press shift-enter to update the state panel.
Related
I googled but have not found any solving documentation/thread regarding this:
Is there a way to set keyboard shortcut to go full screen in Webstorm Terminal tool window from Terminal window?
I know shortcut shift+Command+' but that doesn't work for me inside terminal. I know by double clicking it you can toggle it to full screen but wondering that is it possible to set keyboard shortcut to do it as I do this operation often.
Try the "Maximize tool window" command in the menu - Window->Active Tool Window->Maximize tool window
Or from terminal tool menu - Resize-> Maximize tool window
Warning! The following shortcut only works if "Override IDE shortcuts" option is disabled
To map a shortcut to this, open the Preferences dialog and type "Maximize tool window" to search the settings. It should find a match in the keymap section, and you can then use it to assign a shortcut.
It will warn you if you already have something assigned to your choice.
Warning! The following option will cause some problems in Terminal, for example, editing in vim (Esc key) etc.
Also, you can to checkout the "Override IDE shortcuts" setting in the Terminal section of the Preferences. This is enabled by default - I turn it off and find it resolves a lot of niggles I have with using the terminal. The shortcut above only works if it's disabled.
In Mac cmd+shift+fn+12 will do the trick
I mostly like zen mode - cmd(ctrl)+K,Z
enter image description here
Double press 'escape' from anywhere will bring you back to editor tab.
I'am looking for an option to force scroll code when entering with keyboard cursor in example at 5 line from the end.
Default behavior is to scroll code when entering 1st or last visible line of code.
I would like to change it even for 10th from the beginning and 10th before last.
It appears the base IDE does not have an option for this. However, the behaviour is available in the IdeaVIM plugin (docs) under the scrolloff option.
'Scroll offset' mode can be enabled for the current session with the command:
:set scrolloffset=10
Add that to your ~/.ideavimrc to make it permanent.
NB: IdeaVIM changes the IDE to behave more like vim*, which may require some re-training.
If you're not familiar with Vim:
Install the IdeaVIM plugin (via Settings → Plugins → Browse Repositores → type 'ideavim' in search)
Restart the IDE
Open a file
Note the caret is a block like █; this indicates 'normal' mode
Press : to enter the 'command' mode
Type set scrolloff=10 then Enter
Scroll around, notice the editor scrolls before the caret gets to the very top (or bottom)
Press i to enter 'insert' mode, and edit your file as usual
Press ESC to return to 'normal' mode
Interactive vim lessons
openvim.com
vim-adventures.com
* It seems difficult to have the plugin only modify the scrolloffset behaviour and leave the rest per the default IDE.
You can set "EditorMoveUpAndScroll" shortcut.
I am wondering how to align (the keyboard shortcut) a line or a block of code with the previous line, so that they have the same indention or starting from the same column in IntelliJ and PyCharm.
cheers
I think that "Emacs Tab" could help you. You can use setting search to find it or you can go Preferences -> Appearance & Behaviour -> Keymap. It is editor action and in some Keymap settings it doesn't have assigned key shortcut. I personally prefer remap Tab key to this action.
I'm really impressed with the autocomplete feature of the IntelliJ IDE so far.
What I'd like to do, is cycle through the autocomplete suggestions I get when hitting Ctrl + Space without using the arrow keys (↑, ↓).
The reason for this is that I prefer to keep my fingers on the home row (I'm using IntelliJ's Vim emulator additionally).
For example, how would I select sortThis instead of sorted without using the arrow keys or the mouse?
Peter Gromov's answer brought me to a satisfying solution:
In IntelliJ's settings, for Keymap → Editor Actions → Down I set a custom shortcut: Ctrl + J.
This way I can cycle forward through the suggestions.
Setting a shortcut for Down with Selection or Scroll Line Down in the IdeaVim-specific shortcuts did not affect the selection of autocomplete suggestions though.
The answer here: https://stackoverflow.com/a/9713306/2370679 led me to discover that Ctrl+n & Ctrl+p allow navigation of the auto-complete options without having to modify any settings
For macOS the IDE will give a hint that "^↑ and ^↓ will move caret up and down in the editor". These clearly do not work.
There are a few extra steps that are needed after following #matthias-braun's solution.
Here is the full list of step that I use:
Go to Preferences -> Keymap
Expand Editor Actions (not Plug-ins -> IdeaVim)
Select Down
Click the pencil icon or right-click
Select Add Keyboard Shortcut
Press the shortcut (I use ^N)*
Repeat for 3-6 for Up (I use ^P)
Click Ok**
Go to Preferences -> Other Settings -> Vim Emulation
In the drop-down under the Handler column for the row containing Down, select Vim***
Do the same thing for Up
* If you are warned about the key binding already existing then remove it. You can always reset back to the defaults by clicking the little cog icon up the very top to the right of the drop-down menu.
** The Vim Emulation doesn't seem to be populated correctly until you reopen the Preferences.
*** I'm not sure why the Handler should be Vim. This seems backwards to me but it works.
If you're able to scroll up/down in editor with some IdeaVIM-specific shortcuts, they should also work in the completion list.
In this particular case, I'd just type another "t" so that "sortThis" becomes selected (and the only) variant.
I have done the same thing with mapping the arrows but in a more logical way:
I mapped them that when I press 'Alt' 'J' is left, 'L' is right, 'I' is up, and 'k' is down. that way I can have easy access to the arrows while my fingers are on the home row and I don't need to move them nearly as much...
I'm posting it just so people who search it on google can have that idea.
How to disable auto show hints in IntelliJ IDEA on mouse over?
Edit:
This hint could be very big if you call existing method with incorrect parameters. It's very uncomfortable.
There are the same behaviour in PyCharm:
and WebStorm:
Those popups (or tooltips) has been my worst annoyance in the editor for a while. There is how I fixed it:
On the editor, at the bottom-right of the window, there is a head icon. Click it and uncheck the box "Import popup".
You can have a look at this guide (with images) to help you finding the checkbox:
http://www.jetbrains.com/idea/webhelp/disabling-inspections.html
I hope that can help you
TOTALLY: Open Settings (or Pereferences, if you are OS X user) dialog, choose Editor | Inspections. On the Mange tab (right pane of the dialog) select Copy. Then click the language node. Here you can find the setion that is probably responsible for your tooltips and disable it. Or disable the whole language node, if you like. This way you have all the IDE features working and no tooltips at all. You can return back to Project Default inspections profile when you need it.
PARTIALLY: Try to disable the respected intention action. Press Alt+Enter when you see the tooltip, select the action from the list and press the right arrow key. In the context menu, select "Disable".
From JetBrains Forum.
You probably need to uncheck the Inlay Hints.
For Windows 10 & PyCharm Community 2020.3.3 :
File > Settings > Editor > Inlay Hints
Uncheck Show hints for: