MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity

KTNB-1022: According to AnAction#update doc, toolbar actions might not be updated if there is no user activity.

Browse Source 
Explicitly trigger activity tracker to avoid race condition.

GitOrigin-RevId: f30111b84f98f78d04edb8317579512cbe762cf3
This commit is contained in:
Ilya Muradyan
2025-06-01 01:55:53 +02:00
committed by intellij-monorepo-bot
parent 7375547ea9
commit b7f1189b79
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
grid/impl/src/run/actions/ChangePageSizeAction.java
View File

@@ -4,6 +4,7 @@ import com.intellij.database.DataGridBundle;
import com.intellij.database.DatabaseDataKeys; import com.intellij.database.DatabaseDataKeys;
import com.intellij.database.datagrid.*; import com.intellij.database.datagrid.*;
import com.intellij.database.run.ui.DataGridRequestPlace; import com.intellij.database.run.ui.DataGridRequestPlace;
import com.intellij.ide.ActivityTracker;
import com.intellij.openapi.actionSystem.ActionUpdateThread; import com.intellij.openapi.actionSystem.ActionUpdateThread;
import com.intellij.openapi.actionSystem.AnActionEvent; import com.intellij.openapi.actionSystem.AnActionEvent;
import com.intellij.openapi.project.DumbAwareAction; import com.intellij.openapi.project.DumbAwareAction;
@@ -45,6 +46,7 @@ public class ChangePageSizeAction extends DumbAwareAction {
public static void setPageSizeAndReload(int pageSize, @NotNull DataGrid grid) { public static void setPageSizeAndReload(int pageSize, @NotNull DataGrid grid) {
GridPagingModel<GridRow, GridColumn> pageModel = grid.getDataHookup().getPageModel(); GridPagingModel<GridRow, GridColumn> pageModel = grid.getDataHookup().getPageModel();
pageModel.setPageSize(pageSize); pageModel.setPageSize(pageSize);
ActivityTracker.getInstance().inc();
GridLoader loader = grid.getDataHookup().getLoader(); GridLoader loader = grid.getDataHookup().getLoader();
GridRequestSource source = new GridRequestSource(new DataGridRequestPlace(grid)); GridRequestSource source = new GridRequestSource(new DataGridRequestPlace(grid));