Re: [O] org-hide-emphasis-markers not mentioned in the org manual

2017-11-15 Thread Nick Dokos
alain.coch...@unistra.fr writes: > Thomas Rikl writes on Tue 14 Nov 2017 14:10: > > > (and perhaps other customization variables) > > > > Version: Release 9.1.2 (release 9.1.2-192-gc029c4) > > of the org manual > > > > regards Thomas R. > > In a recent (late sept.) discussion on this

Re: [O] org-hide-emphasis-markers not mentioned in the org manual

2017-11-14 Thread Alain . Cochard
Thomas Rikl writes on Tue 14 Nov 2017 14:10: > (and perhaps other customization variables) > > Version: Release 9.1.2 (release 9.1.2-192-gc029c4) > of the org manual > > regards Thomas R. In a recent (late sept.) discussion on this list ("Confused about the explanation for 'org-cycle"),

[O] org-hide-emphasis-markers not mentioned in the org manual

2017-11-14 Thread Thomas Rikl
(and perhaps other customization variables) Version: Release 9.1.2 (release 9.1.2-192-gc029c4) of the org manual regards Thomas R.