Code Monkey home page Code Monkey logo

m17n-lean's Introduction

System-wide Lean input method

This repository contains an MIM file for m17n to convert Lean-style abbreviations such as \nat to ℕ in all applications.

First you need an input method framework such as fcitx (with the fcitx-m17n plugin) or ibus. Then you only need to install the MIM file, and enable the new input method:

install -Dm0644 lean.mim ~/.m17n.d/lean.mim

Or alternatively:

mkdir -p ~/.m17n.d
curl https://raw.githubusercontent.com/gebner/m17n-lean/master/lean.mim >~/.m17n.d/lean.mim

m17n-lean's People

Contributors

gebner avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar

m17n-lean's Issues

Doesn't work on non-US keyboard layout

On fedora 38 with a non US layout (bépo), this doesn't seem to work. I can choose the input method, but it doesn't do anything.
For it to work, I need to toggle the "US keyboard layout" option on the screenshotted setting menu, which makes it pretty useless.
image

I'm pretty sure this is an upstream issue, but thought of sharing it here in case someone knows a workaround and/or to let people know. Feel free to close the issue in case you don't want it here, and thanks for the work :)

Edit It's actually stranger than not working: the slash key seems to activate some substitution mode, but with no actual effect.

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.