At 2017-06-12T12:45:13-04:00, Matt Price wrote: > As it stands right now, both changes (addition of `data-editor-type` > attribute and moving the language name class from `pre` to `code`) are > necessary to make klipse work
I tried with some examples, and the editing facility of klipse seems to work even if you put the class attributes in the pre element instead of in its code child. Let me check it again and provide an MWE, but it'll take a few days, because I am busy at work this week. If what I said is indeed correct, I have some suggestions on how to deal with the problem. Cheers, Raghu. -- N. Raghavendra <ra...@hri.res.in>, http://www.retrotexts.net/ Harish-Chandra Research Institute, http://www.hri.res.in/
