Comments (5)
There isn't a documented way to do this (yet), but you can use the internal macros to add a new option.
If your filter takes an argument, something like this in your preamble, after loading minted
, should work. Then you can use kwrename
as an option.
\makeatletter
\minted@define@opt{kwrename}{-F kwrenamefilter}{#1}
\makeatother
If your filter is just an on/off boolean, then something like this should work.
\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother
from minted.
I tried with this latex file (compiled with xelatex -shell-escape test.tex
) and it does not work.
\documentclass[11pt]{article}
\usepackage{minted}
\usemintedstyle{emacs}
\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother
\begin{document}
This is a test of the filter.
\begin{minted}[kwrename]{coq}
Lemma foo : forall x, x -> x.
\end{minted}
\end{document}
I'm using the minted from texlive 2013. Is is recent enough?
from minted.
If you want to test, the filter is here: https://github.com/brabalan/kwrenamefilter
The output should be like this: "Lemma foo : ∀ x, x → x."
from minted.
Well, this turned out to be quite tricky. What I suggested would have worked in most cases, but it failed in this case because the substitution you were doing involved Unicode. You will need the latest version of minted.sty
from GitHub (development version), because the version in TeX Live doesn't have encoding support. (If your operating system's native encoding is UTF8, things might work with your current version of minted.sty
, but you would have to experiment.) You will also need to configure your document to work with the Unicode symbols you want. This preamble should work. You will need to adjust it for other symbols, or find a package that will define everything you want.
\usepackage{newunicodechar}
\newunicodechar{∀}{$\forall$}
\usepackage{minted}
\usemintedstyle{emacs}
\setminted{encoding=utf8}
\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother
By the way, pdflatex
worked with this preamble:
\usepackage[T1]{fontenc}
\usepackage[utf8x]{inputenc}
\usepackage{minted}
\usemintedstyle{emacs}
\setminted{encoding=utf8}
\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother
from minted.
Thank you, this worked great.
from minted.
Related Issues (20)
- Leading Chinese characters introduce unexpected boxes HOT 5
- Didn't receive error message that fvextra was not installed HOT 2
- Minted ignores fontfamily setting HOT 4
- Font settings (migrating from lst-listings) HOT 12
- clearing `\verbatim@nolig@list` does not allow for code ligatures HOT 2
- Confused by arbitrary failure HOT 6
- Is it possible to `/inputminted` a whole github repository or a whole directory? HOT 1
- problems with escapeinside and --enable-pipes HOT 8
- CustomLexer: Setting environment variables HOT 3
- Support custom lexers HOT 2
- Include snippets of external files based on regular expressions/literal delimiters HOT 1
- Add an option to not show error boxes HOT 1
- multicols HOT 7
- Breaking line within \newmintinline throws error
- `linerange` to select the exact lines to output HOT 2
- `newmintedfile` env* to specify additional options HOT 9
- [bug] `gobble` results in malformed formatting, `autogobble` works HOT 5
- [show-&-tell] ad-hoc adoptations from a different style to another one. HOT 1
- [feature] Support for PDDL programming language HOT 2
- [bug][compatibility] `Verbatim` environment generated by `minted` with `mathescape` broken with `babel`'s `magyar.ldf` (Hungarian 🇭🇺 language) 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 minted.