拡張機能マネージャーにもさまざまな改善

拡張機能マネージャーにもさまざまな改善