mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
- reduces a chance of deserialization errors by simplifying and versioning command beans - makes a warning message less cryptic/intimidating - minor optimization: batch save for related commands