expvintl/NeoTerm_System
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge: twoLine in EKS

Browse Source
This commit is contained in:
zt515
2017-06-17 15:03:50 +08:00
parent d3cc98c8c8 baa9fba58c
commit e764fbf8b5
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
app/src/main/java/io/neoterm/view/ExtraKeysView.java
View File

@ -115,20 +115,20 @@ public final class ExtraKeysView extends HorizontalScrollView {
builtinExtraKeys.add(ESC); builtinExtraKeys.add(ESC);
builtinExtraKeys.add(CTRL); builtinExtraKeys.add(CTRL);
builtinExtraKeys.add(TAB); builtinExtraKeys.add(TAB);
builtinExtraKeys.add(ARROW_UP);
builtinExtraKeys.add(ARROW_DOWN);
builtinExtraKeys.add(ARROW_LEFT); builtinExtraKeys.add(ARROW_LEFT);
builtinExtraKeys.add(ARROW_RIGHT); builtinExtraKeys.add(ARROW_RIGHT);
builtinExtraKeys.add(ARROW_UP);
builtinExtraKeys.add(ARROW_DOWN);
} }
public void updateButtons() { public void updateButtons() {
contentView.removeAllViews();
for (final ExtraButton extraButton : builtinExtraKeys) { for (final ExtraButton extraButton : builtinExtraKeys) {
addExtraButton(extraButton); addExtraButton(extraButton);
} }
for (final ExtraButton extraButton : userDefinedExtraKeys) { for (final ExtraButton extraButton : userDefinedExtraKeys) {
addExtraButton(extraButton); addExtraButton(extraButton);
} }
} }
private void addExtraButton(final ExtraButton extraButton) { private void addExtraButton(final ExtraButton extraButton) {

2
app/src/main/res/layout/term.xml
View File

@ -17,7 +17,7 @@
android:id="@+id/extra_keys" android:id="@+id/extra_keys"
style="?android:buttonBarStyle" style="?android:buttonBarStyle"
android:layout_width="match_parent" android:layout_width="match_parent"
android:layout_height="@dimen/eks_height_one_line" android:layout_height="@dimen/eks_height_two_line"
android:layout_alignParentBottom="true" android:layout_alignParentBottom="true"
android:background="@color/terminal_background" android:background="@color/terminal_background"
android:orientation="horizontal" /> android:orientation="horizontal" />