flutter: Rename Platform.dart to Platform_flutter.dart

Makes it consistent with the naming of all other frontends
This commit is contained in:
Sergio Martins
2022-07-25 17:57:33 +01:00
parent ff7a30dcc3
commit 0dd41fc7e9
2 changed files with 3 additions and 3 deletions

View File

@@ -0,0 +1,8 @@
import 'package:KDDockWidgetsBindings/src/Platform.dart'
as KDDockWidgetBindings;
class Platform_flutter extends KDDockWidgetBindings.Platform {
String name() {
return "flutter";
}
}