Examples with IpnbFilePanel org.jetbrains.plugins.ipnb.editor.panels.IpnbFilePanel used on opensource projects

Example 26 with IpnbFilePanel

use of org.jetbrains.plugins.ipnb.editor.panels.IpnbFilePanel in project intellij-community by JetBrains.

the class IpnbCodePanel method finishExecution.

public void finishExecution() {
    final Application application = ApplicationManager.getApplication();
    application.invokeAndWait(() -> {
        final String promptText = IpnbEditorUtil.prompt(myCell.getPromptNumber(), IpnbEditorUtil.PromptType.In);
        myPromptLabel.setText(promptText);
        final IpnbFilePanel filePanel = myParent.getIpnbFilePanel();
        setEditing(false);
        filePanel.revalidateAndRepaint();
        if (mySelectNext) {
            filePanel.selectNext(this, true);
        }
    }, ModalityState.stateForComponent(this));
}

Example 27 with IpnbFilePanel

use of org.jetbrains.plugins.ipnb.editor.panels.IpnbFilePanel in project intellij-community by JetBrains.

the class IpnbCodePanel method updateCellView.

@Override
public void updateCellView() {
    myViewPanel.removeAll();
    final JComponent panel = createViewPanel();
    myViewPanel.add(panel);
    final IpnbFilePanel filePanel = myParent.getIpnbFilePanel();
    filePanel.revalidate();
    filePanel.repaint();
}

Example 28 with IpnbFilePanel

use of org.jetbrains.plugins.ipnb.editor.panels.IpnbFilePanel in project intellij-community by JetBrains.

the class IpnbRunCellAction method actionPerformed.

@Override
public void actionPerformed(@NotNull AnActionEvent event) {
    final DataContext context = event.getDataContext();
    final IpnbFileEditor ipnbEditor = IpnbFileEditor.DATA_KEY.getData(context);
    if (ipnbEditor != null) {
        final IpnbFilePanel component = ipnbEditor.getIpnbFilePanel();
        runCell(component, true);
    }
}

Example 29 with IpnbFilePanel

use of org.jetbrains.plugins.ipnb.editor.panels.IpnbFilePanel in project intellij-community by JetBrains.

the class IpnbSaveAction method saveAndCheckpoint.

public static void saveAndCheckpoint(@NotNull final IpnbFileEditor editor) {
    final IpnbFilePanel filePanel = editor.getIpnbFilePanel();
    IpnbParser.saveIpnbFile(filePanel);
    final VirtualFile file = editor.getVirtualFile();
    file.refresh(false, false);
}