[haiku-commits] Change in haiku[master]: Terminal: Allow use of Option as Meta key

  • From: Gerrit <review@xxxxxxxxxxxxxxxxxxx>
  • To: waddlesplash <waddlesplash@xxxxxxxxx>, haiku-commits@xxxxxxxxxxxxx
  • Date: Thu, 22 Aug 2019 01:20:37 +0000

From Simon South <simon@xxxxxxxxxxxxxx>:

Simon South has uploaded this change for review. ( 
https://review.haiku-os.org/c/haiku/+/1727 ;)


Change subject: Terminal: Allow use of Option as Meta key
......................................................................

Terminal: Allow use of Option as Meta key

Add a configuration setting that allows the left Option key to be used as a
Meta key, and add support for the Escape sequences that control the Meta key's
behaviour.

TermWindow now maintains a copy, shared by all its component TermViews, of the
current keymap, and will automatically reload the keymap when it appears to
have changed (by monitoring the user's keymap file).
---
M src/apps/terminal/AppearPrefView.cpp
M src/apps/terminal/AppearPrefView.h
M src/apps/terminal/PrefHandler.cpp
M src/apps/terminal/TermApp.cpp
M src/apps/terminal/TermApp.h
M src/apps/terminal/TermConst.h
M src/apps/terminal/TermParse.cpp
M src/apps/terminal/TermView.cpp
M src/apps/terminal/TermView.h
M src/apps/terminal/TermViewStates.cpp
M src/apps/terminal/TermWindow.cpp
M src/apps/terminal/TermWindow.h
M src/apps/terminal/TerminalBuffer.cpp
M src/apps/terminal/TerminalBuffer.h
14 files changed, 233 insertions(+), 9 deletions(-)



  git pull ssh://git.haiku-os.org:22/haiku refs/changes/27/1727/1
--
To view, visit https://review.haiku-os.org/c/haiku/+/1727
To unsubscribe, or for help writing mail filters, visit 
https://review.haiku-os.org/settings

Gerrit-Project: haiku
Gerrit-Branch: master
Gerrit-Change-Id: I150b640b7b18384d56ab2fb017bf16ce8bdbdd78
Gerrit-Change-Number: 1727
Gerrit-PatchSet: 1
Gerrit-Owner: Simon South <simon@xxxxxxxxxxxxxx>
Gerrit-MessageType: newchange

Other related posts:

  • » [haiku-commits] Change in haiku[master]: Terminal: Allow use of Option as Meta key - Gerrit