Paulo,
You need to change the source code: zim/gui/pageview.py
Around line 580 you will find this defintion:
'sup': {'rise': 7500, 'scale':0.7},
Regards,
Jaap
@Murat: this is a question about the zim text style, it does not
depend on the gtk theme
On Thu, Feb 4, 2016 at 10:34 AM, Murat Güven <muratg@xxxxxxxxx
<mailto:muratg@xxxxxxxxx>> wrote:
Hi Paulo,
I guess you need to go find a gtkrc file on your system and look
around over config files in your theme to figure out the specific
setting.
Regards,
Murat
Am 04.02.2016 10:16 schrieb Paulo van Breugel
<p.vanbreugel@xxxxxxxxx <mailto:p.vanbreugel@xxxxxxxxx>>:
Hi Murat,
Thanks, but unfortunately (well, only in this context,
otherwise happy Linux user ;-)) I am on Linux
Cheers,
Paulo
On 04-02-16 10:00, Murat Güven wrote:
Hi Paulo,
You may want to give my Theme Manager plugin a try, if you
use Windows.
Regards,
Murat
Am 04.02.2016 09:18 schrieb Paulo van Breugel
<p.vanbreugel@xxxxxxxxx> <mailto:p.vanbreugel@xxxxxxxxx>:
Hi Jaap,
Where could I (if possible) change the default internal
style?
Best wishes,
Paulo
On 02-02-16 22:05, Jaap Karssenberg wrote:
Looks like that won't work without a patch. You need to
set "rise=7500" except that "rise" is not a keyword the
config file recognizes.
Fixed in trunk that it will update the default style
(and preserve the internal set "rise") instead of overwrite.
-- Jaap
On Sun, Jan 17, 2016 at 10:33 PM, Paulo van Breugel
<p.vanbreugel@xxxxxxxxx <mailto:p.vanbreugel@xxxxxxxxx>>
wrote:
In the GUI style config file
("~/.config/zim/style.conf") I can change the
defaults on how styles are displayed. This works
fine, except that I don't know how to change the
sub- and superscript.
I would like to have the superscript slightly
smaller and lower, to better fit the default in e.g.
Libreoffice or Word. I know how to change the size:
[Tag sup]
scale=0.6
But this results in the character being aligned on
the base line. So now I need to define the how
height of the base of the character (how high it is
placed compared to the baseline). Any idea how to do
this?
Best
Paulo
_______________________________________________
Mailing list: https://launchpad.net/~zim-wiki
<https://launchpad.net/%7Ezim-wiki>
Post to : zim-wiki@xxxxxxxxxxxxxxxxxxx
<mailto:zim-wiki@xxxxxxxxxxxxxxxxxxx>
Unsubscribe : https://launchpad.net/~zim-wiki
<https://launchpad.net/%7Ezim-wiki>
More help : https://help.launchpad.net/ListHelp