Comments (11)
There is no variable that controls this currently, but I can add it. It should only take a few minutes. You can also just comment out the runtime agda-utf8.vim
line in ftplugin/agda.vim
.
from agda-vim.
Okay, I just pushed 5bbc866 which add the variable g:agdavim_includeutf8_mappings
which if you set it to 0
in your vimrc should cause the agda-utf8.vim
file not to be loaded.
from agda-vim.
I attempted to comment out that runtime
line as you suggested but it does not seem to have changed anything. Is there a chance something else is causing it to be loaded?
from agda-vim.
Not really in this project unless your bundling mechanism just loads every file in the root of the bundle. The string "agda-utf8.vim" only occurs on that line in the whole project. You can grep your .vim
folder to see if something else is loading a version, if, for example, you followed the directions on the Agda vim editing wiki page at some point in the past. You could also just remove the agda-utf8.vim
file and that would unambiguously make it clear whether that is where the mappings are coming from.
from agda-vim.
This is what confuses me. I have also tried deleting that file wholesale and the \
unicode escape still happens. But, this only happens for me in agda files, no where else. Do you know if the native vim agda syntax provides something like that?
from agda-vim.
So, are you sure the \ is leading into unicode? E.g. does \N produce a blackboard N? If not, it's just that the commands in the Agda mode use LocalLeader by default and that is \ by default (in fact, the Unicode mappings also use LocalLeader), so it may just be waiting for a command, e.g. \t to get types. You can write let maplocalleader = ','
in your vimrc, say, to change that (it just needs to run before the mappings are made and comma is just an example.)
from agda-vim.
The "Typing Unicode Characters" section on this page, refers to the files and setup for the Unicode mappings. You can check for e.g. after/syntax/agda.vim
or for unicode-keys
to see if any of those being run.
from agda-vim.
Indeed, they do produce unicode characters, however, I just noticed something that may give the key to the problem. It seems if I start a new source file, this behavior does not happen in the new file. Does vim cache this kind of thing somewhere?
from agda-vim.
Ah hah! I figured it out. This was indeed not an issue with agda-vim
(my apologies for the noise). It seems $HOME/.vim/view
contains some cached information about files that have been opened with vim. Clearing the relevant files after having disabled the agda-utf8.vim
runtime has solved this issue.
Thank you for the help!
from agda-vim.
I'd be surprised if it did that across vim sessions (i.e. closing and reopening vim entirely). Of course, it won't reload the mappings, which are buffer local, if the buffer remains open.
from agda-vim.
Actually, they did persist across closing and reopening vim entirely. I had to clear the relevant files from the view
directory in order to get it to update. This may very well be due to some archaic setting I have in my rc
that I had forgotten about.
from agda-vim.
Related Issues (20)
- Support Agda 2.6.0 HOT 4
- Make Agda usage (or at least Agsy usage) asynchronous HOT 1
- Python being parsed as Vimscript HOT 6
- (Seemingly) fail to handle multiple responses from Agsy HOT 5
- Python 3 Support HOT 1
- As of Agda 2.5.3-alpha1, agda-vim doesn't work HOT 3
- Normalize broken for Agda 2.5.3 HOT 1
- Extend the utf-8 file HOT 1
- Error: First load the file. HOT 2
- agda stdlib permission errors HOT 5
- Add support for "Go to definition of identifier under point" HOT 4
- warns when edit from other directories HOT 2
- Hangs on Windows when opening agda file HOT 1
- Normalize doesn't seem to do anything (Agda 2.6.0.1) HOT 3
- Support for `*.lagda.md`? HOT 3
- Load times slower than emacs mode HOT 1
- Filename not matching module name leads to obscure errors HOT 1
- Unknown function: AgdaMakeCase HOT 2
- Commands not loaded (neovim) 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 agda-vim.