MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

quick fix for idea community tests.

Browse Source 
markdown4j dependency in community needs investigation
This commit is contained in:
Ekaterina Tuzova
2016-10-19 18:39:33 +03:00
parent 330e9f3258
commit 6216ac6a32
1 changed files with 14 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ipnb/src/org/jetbrains/plugins/ipnb/IpnbJfxUtils.java
+14 -11
View File
@@ -1,7 +1,8 @@
package org.jetbrains.plugins.ipnb;
import com.github.rjeschke.txtmark.Configuration;
import com.github.rjeschke.txtmark.Processor;
//import com.github.rjeschke.txtmark.Configuration;
//import com.github.rjeschke.txtmark.Processor;
import com.intellij.ide.BrowserUtil;
import com.intellij.ide.ui.LafManager;
import com.intellij.ide.ui.laf.darcula.DarculaLookAndFeelInfo;
@@ -21,7 +22,6 @@ import javafx.scene.web.WebEngine;
import javafx.scene.web.WebView;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.plugins.ipnb.editor.IpnbEditorUtil;
import org.markdown4j.*;
import org.w3c.dom.Document;
import org.w3c.dom.Element;
import org.w3c.dom.NodeList;
@@ -37,6 +37,8 @@ import java.net.URI;
import java.net.URISyntaxException;
import java.net.URL;
//import org.markdown4j.*;
public class IpnbJfxUtils {
private static final Logger LOG = Logger.getInstance(IpnbJfxUtils.class);
private static final String ourStyle = "<html><head><style>#mydiv\n{\n" +
@@ -120,16 +122,17 @@ public class IpnbJfxUtils {
}
private static String convertToHtml(@NotNull String source) {
final String result = wrapMath(source);
//final String result = wrapMath(source);
final ExtDecorator decorator = new ExtDecorator();
final Configuration.Builder builder = Configuration.builder().forceExtentedProfile()
.registerPlugins(new Plugin[]{new YumlPlugin(), new WebSequencePlugin(), new IncludePlugin()}).setDecorator(decorator)
.setCodeBlockEmitter(new CodeBlockEmitter());
String processed = Processor.process(result, builder.build());
processed = unwrapMath(processed);
//final ExtDecorator decorator = new ExtDecorator();
//final Configuration.Builder builder = Configuration.builder().forceExtentedProfile()
// .registerPlugins(new Plugin[]{new YumlPlugin(), new WebSequencePlugin(), new IncludePlugin()}).setDecorator(decorator)
// .setCodeBlockEmitter(new CodeBlockEmitter());
//String processed = Processor.process(result, builder.build());
//processed = unwrapMath(processed);
return processed;
//return processed;
return source;
}
private static String unwrapMath(@NotNull String processed) {