zim-wiki team mailing list archive
-
zim-wiki team
-
Mailing list archive
-
Message #02802
Re: Changing double dash to long dash
Le 06/06/2014 16:47, Jaap Karssenberg a écrit :
This is done by the "insert symbol" plugin, it has a config file to
change the settings - or you can disable the plugin entirely.
Seems cool... ?
The doc said:
Insert Symbol
This plugin adds a dialog to insert special symbols and characters.
It also enables autoformatting for these symbols and characters.
Shortcut codes for autoformatting are shown in the tooltip in the
dialog. So for example the typing shortcut "\alpha" as a single word
in the editor will replace this shortcut by the unicode character
for the Greek letter alpha. Similar typing "-->" as a single word
will be replaced with a unicode symbol for a right arrow.
In some cases you want to be able to type a character without the
trailing whitespace, e.g. when you want to type a formula with
several greek letters. In this case the ";" can be used to close the
sequence, so typing "\alpha;" will result in the greek letter alpha
without any trailing whitespace.
The list with shortcuts can be edited using the button in the dialog
or by opening the config file "|symbols.list|" in a text editor. You
may need to restart zim in order to...
dpkg -L zim | grep symbols.list
/usr/share/zim/symbols.list
Can be copied into $HOME/.local/share/zim
tested it works...
References