21 Jan
2012
21 Jan
'12
2:47 a.m.
On 18/01/2012, at 07.48, Hans-Jörg Bibiko wrote:
[…] This could be set e.g. in ~/.tm_properties
[ *.R ] useTheme = "..."
Themes can already be set via .tm_properties but presently some settings are not “reloaded” when documents change because things related to settings are unfinished.