}
public static void runCell(@NotNull final IpnbFilePanel ipnbFilePanel, boolean selectNext) {
- final IpnbEditablePanel cell = ipnbFilePanel.getSelectedCell();
+ final IpnbEditablePanel cell = ipnbFilePanel.getSelectedCellPanel();
if (cell == null) return;
cell.runCell(selectNext);
}
if (currentCellPanel == null) return;
if (below) {
- selectNext(currentCellPanel);
+ selectNext(currentCellPanel, false);
}
else {
selectPrev(currentCellPanel);
currentCellPanel.repaint();
deleteCell(currentCellPanel);
- saveToFile();
+ saveToFile(false);
}
private static ArrayList<String> mergeCellsSource(@NotNull List<String> currentCellSource,
panel = createPanel(cell, newCellSource);
addCell(panel, true);
- saveToFile();
+ saveToFile(false);
}
@NotNull
int indexToSelect = index < myIpnbPanels.size() ? index : index-1;
final IpnbEditablePanel panel = myIpnbPanels.get(indexToSelect);
- setSelectedCell(panel);
+ setSelectedCell(panel, false);
}
public void saveToFile(boolean synchronize) {