Comments (5)
https://github.com/zyedidia/micro/blob/master/runtime/help/copypaste.md
from micro.
Unfortunately the help link on copypaste did not list Git Bash among the supported terminals on Windows. Actually it does not mention any Windows terminals that I know of.
The only workaround I could find was settings.json as follows:
{
"mouse": false,
"ruler": false
}
And then doing the copy with mouse select followed by Ctrl+Insert.
Related, is there any way to toggle the ruler from the keyboard, rather than setting in permanently in the settings.json?
from micro.
Related, is there any way to toggle the ruler from the keyboard, rather than setting in permanently in the settings.json?
By default Ctrl-r is bound to toggle the ruler (you can read all the default keybindings in help defaultkeys
). To bind it to another key you can use the ToggleRuler
action in your bindings.json.
More generally you can modify any setting with the set
/setlocal
commands: setlocal ruler off
.
from micro.
Unfortunately the help link on copypaste did not list Git Bash among the supported terminals on Windows. Actually it does not mention any Windows terminals that I know of.
So I guess you'd need to find out yourself if your terminal supports OSC 52.
from micro.
The terminal in windows Git Bash seems to be mintty:
https://mintty.github.io/ unfortunately that does not fully support OSC 52, mintty/mintty#258 seems to have rejected that on security grounds.
But to recap, when I disable mouse in micro, I can use mouse to select in the terminal and copy using terminal keys (Ctrl-Insert). This seems make it on-par with vim or nano, so good enough.
Thanks for all the help.
from micro.
Related Issues (20)
- Inconsistent keybindings behavior for Alt Shift Combinations HOT 4
- file manager plugin .. go up not work HOT 2
- Feature Request: Editor Width/Margins HOT 2
- JumpToMatchingBrace inconsistent with adjacent unpaired braces e.g. )[ or }( or )( HOT 12
- disable error HOT 2
- Confusion over missing bindings
- Differing copy-paste mechanics between tmux and non-tmux HOT 1
- Calling clipboard.Write in lua crashes micro HOT 6
- 2.0.13 micro-2.0.13-linux-arm.tar.gz may have been tampered with HOT 12
- Micro panics when cd-ing to root
- How to toggle softwrap + wordwrap in editor, and how to make it a default setting? HOT 2
- Colors in Color Schems appear wrong. HOT 2
- DeleteLine does not delete selected lines HOT 8
- Micro reindents settings.json files with spaces on open HOT 1
- Nightly builds are not the current master branch 😭 HOT 3
- Binding Backspace related keys do not work on Windows HOT 1
- Autosave locally HOT 22
- Scrolling does not always go down with the cursor HOT 2
- Cannot click to move cursor to first character of document HOT 6
- Panic with `open folder\` on Windows HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from micro.