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

convenient scheduleProjectSave method

Browse Source 
GitOrigin-RevId: 7e1d018bc031920b9d10908d65476fb0a10094d3
This commit is contained in:
Vladimir Krivosheev
2019-05-17 11:03:43 +03:00
committed by intellij-monorepo-bot
parent 6ffab79f8d
commit ae9bd24eb9
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ide/SaveAndSyncHandler.kt
+2
View File
@@ -34,6 +34,8 @@ abstract class SaveAndSyncHandler {
@ApiStatus.Experimental
abstract fun scheduleSave(task: SaveTask, forceExecuteImmediately: Boolean = false)
fun scheduleProjectSave(project: Project) = scheduleSave(SaveTask(project, saveDocuments = false))
@Deprecated("", ReplaceWith("FileDocumentManager.getInstance().saveAllDocuments()", "com.intellij.openapi.fileEditor.FileDocumentManager"))
fun saveProjectsAndDocuments() {
// used only by https://plugins.jetbrains.com/plugin/11072-openjml-esc
spellchecker/src/com/intellij/spellchecker/SpellCheckerManager.java
+1 -2
View File
@@ -259,8 +259,7 @@ public class SpellCheckerManager implements Disposable {
private void fireDictionaryChanged(@NotNull EditableDictionary dictionary) {
myUserDictionaryListenerEventDispatcher.getMulticaster().dictChanged(dictionary);
restartInspections();
SaveAndSyncHandler.getInstance().scheduleSave(new SaveAndSyncHandler.SaveTask(project, false), false);
project.save();
SaveAndSyncHandler.getInstance().scheduleProjectSave(project);
}
public void updateUserDictionary(@NotNull Collection<String> words) {