Giter Site home page Giter Site logo

Comments (2)

GoogleCodeExporter avatar GoogleCodeExporter commented on July 22, 2024
In addition/instead of this, it should be possible to define the language in a
modline similar to % !TEX encoding = your_encoding, something like % !TEX 
spellcheck
= en_US

Original comment by st.loeffler on 22 Aug 2009 at 3:36

  • Added labels: Type-Enhancement
  • Removed labels: Type-Defect

from texworks.

GoogleCodeExporter avatar GoogleCodeExporter commented on July 22, 2024
The modline suggestion has been implemented in r487.

A first sample script for deriving the spell checking from babel commands has 
been
added in r490.
Note that:
 * you need an experimental Tw build with scripting for this
 * you may need to copy the file manually, or else remove your scripts subfolder in
the configuration directory to get the new script
 * the script is far from complete or well-tested. If you have any problems with it
or suggestions for it, post them here

Original comment by st.loeffler on 22 Nov 2009 at 8:14

  • Changed state: Started

from texworks.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.