opt.: custom terminal emulator (#771)
This commit is contained in:
@@ -311,6 +311,12 @@ abstract class AppLocalizations {
|
||||
/// **'Batch delete servers'**
|
||||
String get deleteServers;
|
||||
|
||||
/// No description provided for @desktopTerminalTip.
|
||||
///
|
||||
/// In en, this message translates to:
|
||||
/// **'Command used to open the terminal emulator when launching SSH sessions.'**
|
||||
String get desktopTerminalTip;
|
||||
|
||||
/// No description provided for @dirEmpty.
|
||||
///
|
||||
/// In en, this message translates to:
|
||||
@@ -410,6 +416,12 @@ abstract class AppLocalizations {
|
||||
/// **'The current code highlighting performance is not ideal and can be optionally turned off to improve.'**
|
||||
String get editorHighlightTip;
|
||||
|
||||
/// No description provided for @emulator.
|
||||
///
|
||||
/// In en, this message translates to:
|
||||
/// **'Emulator'**
|
||||
String get emulator;
|
||||
|
||||
/// No description provided for @encode.
|
||||
///
|
||||
/// In en, this message translates to:
|
||||
|
||||
Reference in New Issue
Block a user