()
| 959 | /// Allows us to "flush" the edt to allow any pending transitions and input to go |
| 960 | /// by before continuing with our other tasks. |
| 961 | void flushEdt() { |
| 962 | if (!isEdt()) { |
| 963 | return; |
| 964 | } |
| 965 | while (!shouldEDTSleepNoFormAnimation()) { |
| 966 | edtLoopImpl(); |
| 967 | } |
| 968 | while (animationQueue != null && !animationQueue.isEmpty()) { |
| 969 | edtLoopImpl(); |
| 970 | } |
| 971 | } |
| 972 | |
| 973 | /// Restores the menu in the given form |
| 974 | private void restoreMenu(Form f) { |