调整提示框字体大小

ZengTao

2023-12-14 a446066c5f3cedc33e035b2bbc9ad36b5aa18512

1
2
3
4
{
    "java.configuration.updateBuildConfiguration": "interactive",
    "java.debug.settings.onBuildFailureProceed": true
}