"Unsaved changes"
"The current text was modified. Do you want to save the changes?"
"Discard"
"Save"
Generated on 2023-Sep-17 from project DeepinIDE revision 1.1.18.1Powered by Code Browser 2.1 Generator usage only permitted with license.