tonsky / tonsky/FiraCode

Ligature request : +. *. -. /.

Open
#380 2 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Clojure
Stars
82k
Forks
3.2k
PR merge metrics
No merged PRs in 30d

Description

Hello FiraCoders !

I just installed FiraCode on my linux machine and it all works greatly on my spacemacs config

(Well, I did had to add such a code in my init file...)

But while working on ocaml, I realized the float operators :

  a +. b
; a -. b
; a *. b
; a /. b

were not replaced.

I reactivated tuareg's prettify-symbol-mode, to see if it could make things better

but it did not (entirely)
What I get is this:

  a +. b  (* fira's + *)
; a ∸ b (* prettified by tuareg *)
; a *. (* fira's * *)
; a ÷ b (* prettified by tuareg *)

So I would ask for the addition of these operators, ligatured.

As reference, Tuareg's prettify mode makes this mapping :

+. ---> ∔
-. ---> ∸
*. ---> ∙
/. ---> ÷

Though to keep spacing it would be nice to have new ligs, which is what you guys would go for I think.


bonus:
(For now, if anybody has any idea how to make spacemacs bypass fira's + and - to allow tuareg to do his thing?)

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

The issue names no source file or test. Start by locating Fira Code's existing ligature definitions for + and * and compare their handling of OCaml operators; done means +., -., *., and /. render as the requested ligatures.

Written by the indexing model from the issue text.

Assessment

Tech stack
emacs, ocaml
Domain
design, tooling
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.