sprig / edit-server Goto Github PK
View Code? Open in Web Editor NEWThis project forked from timbertson/edit-server
an edit server compatible with TextAid and "Edit with Emacs" chrome extensions
This project forked from timbertson/edit-server
an edit server compatible with TextAid and "Edit with Emacs" chrome extensions
An edit server written in python, compatible with TextAid and other similar google chrome extensions. The purpose of which is to edit a browser's textarea in an external text editor (like vim, emacs, etc...) Runs on port 9292, or whatever port you pass in (see --help) Listens on the local interface only. Editor command is defaulted to `gvim -f`, but will use ARGV instead if you give it any (non-optional) arguments. Incremental file editing: ------------------------- Supports incremental editing, which requires a version of the chrome plugin released after 2010-10-24. If you find your textareas never update after the first time you save the file in your editor, your version is too old. You can use --no-incremental to revert to the old behaviour. [Tech details] The incremental editing uses two HTTP headers, "x-file" and "x-open". "x-open: true" means the editor has not finished, and another request should be made immediately. "x-file: FILENAME" (returned from the server) provides the value to be provided as the "x-file" request header for the subsequent request. if "x-file" is not "true", the editing has finished and no more requests should be made.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.