diff options
| author | Jeff Sharkey <jsharkey@android.com> | 2013-02-23 15:42:10 -0800 |
|---|---|---|
| committer | Jeff Sharkey <jsharkey@android.com> | 2013-02-23 15:48:24 -0800 |
| commit | de15e79aadde33fd8c880c19bd4fc6caca0bf795 (patch) | |
| tree | d6f5867abab2baaf174e2066c5389971c3681e9d /proguard.flags | |
| parent | cedf158c17dc147163734ad1070032ff934d1b2e (diff) | |
| download | Terminal-de15e79aadde33fd8c880c19bd4fc6caca0bf795.tar.gz | |
Service to host long-lived terminals, tab UI.
Bind to new TerminalService when UI is running, and keep service
started as long as terminals are active. Use ViewPager to show
multiple active terminals, and menu items to open/close terminals.
Anti-alias terminal text. Reduce callback logging. Add method to
stop a running shell; still need to kill child process.
Change-Id: I8efcb43aeaf8813762cd0ceebcd5388fc51ebaab
Diffstat (limited to 'proguard.flags')
0 files changed, 0 insertions, 0 deletions