mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
This should be more reliable than keeping an explicit list in `ServerUnavailableCallback` and handling all other problems in UsernamePasswordCallback, as in this case disruptive modal notification is shown (cherry picked from commit 5f67deb80bb097b6889ef6d4387034c614222262) IJ-MR-177790 GitOrigin-RevId: 2bc2cecf2a7ffea1d182ad56527a0513fe86a372