|
@@ -1,3 +1,5 @@
|
|
|
|
|
+import 'dart:io';
|
|
|
|
|
+
|
|
|
import 'package:flutter/services.dart';
|
|
import 'package:flutter/services.dart';
|
|
|
import 'package:flutter/widgets.dart';
|
|
import 'package:flutter/widgets.dart';
|
|
|
import 'package:xterm/frontend/input_behavior.dart';
|
|
import 'package:xterm/frontend/input_behavior.dart';
|
|
@@ -22,12 +24,11 @@ class InputBehaviorDefault extends InputBehavior {
|
|
|
final key = inputMap(event.logicalKey);
|
|
final key = inputMap(event.logicalKey);
|
|
|
|
|
|
|
|
if (key != null) {
|
|
if (key != null) {
|
|
|
- terminal.keyInput(
|
|
|
|
|
- key,
|
|
|
|
|
- ctrl: event.isControlPressed,
|
|
|
|
|
- alt: event.isAltPressed,
|
|
|
|
|
- shift: event.isShiftPressed,
|
|
|
|
|
- );
|
|
|
|
|
|
|
+ terminal.keyInput(key,
|
|
|
|
|
+ ctrl: event.isControlPressed,
|
|
|
|
|
+ alt: event.isAltPressed,
|
|
|
|
|
+ shift: event.isShiftPressed,
|
|
|
|
|
+ mac: Platform.isMacOS);
|
|
|
}
|
|
}
|
|
|
}
|
|
}
|
|
|
|
|
|