commit | c8d74a7b4b341f7498a3827555451924cabdd0f1 | [log] [tgz] |
---|---|---|
author | Tom Tromey <tom@tromey.com> | Sat Jan 01 01:34:48 2022 -0700 |
committer | Tom Tromey <tom@tromey.com> | Tue Mar 29 12:46:24 2022 -0600 |
tree | 549460704305e6e34c9ea3684a6729726102aac8 | |
parent | 9b7167182d1f6fef32c264587bbc00c7f9bd21f2 [diff] |
Add style-escape methods to ui_file This adds emit_style_escape and reset_style methods to ui_file. These aren't used yet, but they will be once the pager is converted to be a ui_file subclass.