2016-05-19 06:30:21 +08:00
|
|
|
#include "config.h" // IWYU pragma: keep
|
|
|
|
|
2016-04-21 14:00:54 +08:00
|
|
|
// IWYU pragma: no_include <cstddef>
|
2015-07-25 23:14:25 +08:00
|
|
|
#include <assert.h>
|
2016-05-03 02:54:01 +08:00
|
|
|
#include <stddef.h>
|
2015-07-25 23:14:25 +08:00
|
|
|
#include <wchar.h>
|
|
|
|
#include <wctype.h>
|
2014-01-25 08:58:22 +08:00
|
|
|
#include <map>
|
2016-05-03 02:54:01 +08:00
|
|
|
#include <vector>
|
2016-04-21 14:00:54 +08:00
|
|
|
|
|
|
|
#include "common.h"
|
|
|
|
#include "complete.h"
|
2016-05-03 02:54:01 +08:00
|
|
|
#include "highlight.h"
|
|
|
|
#include "pager.h"
|
2016-04-21 14:00:54 +08:00
|
|
|
#include "reader.h"
|
2016-05-03 02:54:01 +08:00
|
|
|
#include "screen.h"
|
|
|
|
#include "util.h"
|
|
|
|
#include "wutil.h" // IWYU pragma: keep
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2014-01-14 08:41:22 +08:00
|
|
|
typedef pager_t::comp_t comp_t;
|
2013-12-02 07:11:25 +08:00
|
|
|
typedef std::vector<completion_t> completion_list_t;
|
|
|
|
typedef std::vector<comp_t> comp_info_list_t;
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// The minimum width (in characters) the terminal must to show completions at all.
|
2013-12-02 07:11:25 +08:00
|
|
|
#define PAGER_MIN_WIDTH 16
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// The maximum number of columns of completion to attempt to fit onto the screen.
|
2013-12-02 07:11:25 +08:00
|
|
|
#define PAGER_MAX_COLS 6
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Width of the search field.
|
2014-01-27 16:56:13 +08:00
|
|
|
#define PAGER_SEARCH_FIELD_WIDTH 12
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Text we use for the search field.
|
2014-01-27 16:56:13 +08:00
|
|
|
#define SEARCH_FIELD_PROMPT _(L"search: ")
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Returns numer / denom, rounding up. As a "courtesy" 0/0 is 0.
|
|
|
|
static size_t divide_round_up(size_t numer, size_t denom) {
|
|
|
|
if (numer == 0) return 0;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-27 16:56:13 +08:00
|
|
|
assert(denom > 0);
|
2014-10-31 13:40:35 +08:00
|
|
|
bool has_rem = (numer % denom) > 0;
|
|
|
|
return numer / denom + (has_rem ? 1 : 0);
|
2014-01-18 04:04:03 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// This function calculates the minimum width for each completion entry in the specified
|
|
|
|
/// array_list. This width depends on the terminal size, so this function should be called when the
|
|
|
|
/// terminal changes size.
|
|
|
|
void pager_t::recalc_min_widths(comp_info_list_t *lst) const {
|
|
|
|
for (size_t i = 0; i < lst->size(); i++) {
|
2013-12-02 07:11:25 +08:00
|
|
|
comp_t *c = &lst->at(i);
|
2016-05-03 02:54:01 +08:00
|
|
|
c->min_width = mini(c->desc_width, maxi(0, available_term_width / 3 - 2)) +
|
|
|
|
mini(c->desc_width, maxi(0, available_term_width / 5 - 4)) + 4;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Print the specified string, but use at most the specified amount of space. If the whole string
|
|
|
|
/// can't be fitted, ellipsize it.
|
|
|
|
///
|
|
|
|
/// \param str the string to print
|
|
|
|
/// \param color the color to apply to every printed character
|
|
|
|
/// \param max the maximum space that may be used for printing
|
|
|
|
/// \param has_more if this flag is true, this is not the entire string, and the string should be
|
|
|
|
/// ellisiszed even if the string fits but takes up the whole space.
|
|
|
|
static int print_max(const wcstring &str, highlight_spec_t color, int max, bool has_more,
|
|
|
|
line_t *line) {
|
2014-01-14 08:41:22 +08:00
|
|
|
int written = 0;
|
2016-05-03 02:54:01 +08:00
|
|
|
for (size_t i = 0; i < str.size(); i++) {
|
2014-01-14 08:41:22 +08:00
|
|
|
wchar_t c = str.at(i);
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (written + wcwidth(c) > max) break;
|
|
|
|
if ((written + wcwidth(c) == max) && (has_more || i + 1 < str.size())) {
|
2014-01-14 08:41:22 +08:00
|
|
|
line->append(ellipsis_char, color);
|
|
|
|
written += wcwidth(ellipsis_char);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-14 08:41:22 +08:00
|
|
|
line->append(c, color);
|
|
|
|
written += wcwidth(c);
|
|
|
|
}
|
|
|
|
return written;
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Print the specified item using at the specified amount of space.
|
|
|
|
line_t pager_t::completion_print_item(const wcstring &prefix, const comp_t *c, size_t row,
|
|
|
|
size_t column, int width, bool secondary, bool selected,
|
|
|
|
page_rendering_t *rendering) const {
|
|
|
|
int comp_width = 0, desc_width = 0;
|
|
|
|
int written = 0;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-14 08:41:22 +08:00
|
|
|
line_t line_data;
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (c->pref_width <= width) {
|
|
|
|
// The entry fits, we give it as much space as it wants.
|
2013-12-02 07:11:25 +08:00
|
|
|
comp_width = c->comp_width;
|
|
|
|
desc_width = c->desc_width;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
|
|
|
// The completion and description won't fit on the allocated space. Give a maximum of 2/3 of
|
|
|
|
// the space to the completion, and whatever is left to the description.
|
|
|
|
int desc_all = c->desc_width ? c->desc_width + 4 : 0;
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
comp_width = maxi(mini(c->comp_width, 2 * (width - 4) / 3), width - desc_all);
|
|
|
|
if (c->desc_width) desc_width = width - comp_width - 4;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-15 17:36:09 +08:00
|
|
|
int bg_color = secondary ? highlight_spec_pager_secondary : highlight_spec_normal;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (selected) {
|
2014-01-16 10:21:38 +08:00
|
|
|
bg_color = highlight_spec_search_match;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
for (size_t i = 0; i < c->comp.size(); i++) {
|
2013-12-02 07:11:25 +08:00
|
|
|
const wcstring &comp = c->comp.at(i);
|
2014-01-14 08:41:22 +08:00
|
|
|
|
2013-12-02 07:11:25 +08:00
|
|
|
if (i != 0)
|
2016-05-03 02:54:01 +08:00
|
|
|
written += print_max(PAGER_SPACER_STRING, highlight_spec_normal, comp_width - written,
|
|
|
|
true /* has_more */, &line_data);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-15 17:36:09 +08:00
|
|
|
int packed_color = highlight_spec_pager_prefix | highlight_make_background(bg_color);
|
2016-05-03 02:54:01 +08:00
|
|
|
written += print_max(prefix, packed_color, comp_width - written, !comp.empty(), &line_data);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-15 17:36:09 +08:00
|
|
|
packed_color = highlight_spec_pager_completion | highlight_make_background(bg_color);
|
2016-05-03 02:54:01 +08:00
|
|
|
written +=
|
|
|
|
print_max(comp, packed_color, comp_width - written, i + 1 < c->comp.size(), &line_data);
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (desc_width) {
|
2014-01-15 17:36:09 +08:00
|
|
|
int packed_color = highlight_spec_pager_description | highlight_make_background(bg_color);
|
2016-05-03 02:54:01 +08:00
|
|
|
while (written < (width - desc_width - 2)) // the 2 here refers to the parenthesis below
|
2013-12-02 07:11:25 +08:00
|
|
|
{
|
2014-01-14 08:41:22 +08:00
|
|
|
written += print_max(L" ", packed_color, 1, false, &line_data);
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
2014-02-28 18:15:24 +08:00
|
|
|
written += print_max(L"(", packed_color, 1, false, &line_data);
|
|
|
|
written += print_max(c->desc, packed_color, desc_width, false, &line_data);
|
|
|
|
written += print_max(L")", packed_color, 1, false, &line_data);
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
|
|
|
while (written < width) {
|
2014-01-14 08:41:22 +08:00
|
|
|
written += print_max(L" ", 0, 1, false, &line_data);
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
}
|
2014-01-15 07:39:53 +08:00
|
|
|
|
2014-01-14 08:41:22 +08:00
|
|
|
return line_data;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Print the specified part of the completion list, using the specified column offsets and quoting
|
|
|
|
/// style.
|
|
|
|
///
|
|
|
|
/// \param cols number of columns to print in
|
2016-06-06 09:46:04 +08:00
|
|
|
/// \param width_per_column An array specifying the width of each column
|
2016-05-03 02:54:01 +08:00
|
|
|
/// \param row_start The first row to print
|
|
|
|
/// \param row_stop the row after the last row to print
|
|
|
|
/// \param prefix The string to print before each completion
|
2016-06-06 09:46:04 +08:00
|
|
|
/// \param lst The list of completions to print
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::completion_print(size_t cols, int *width_per_column, size_t row_start,
|
|
|
|
size_t row_stop, const wcstring &prefix, const comp_info_list_t &lst,
|
|
|
|
page_rendering_t *rendering) const {
|
|
|
|
// Teach the rendering about the rows it printed.
|
2014-01-22 06:35:18 +08:00
|
|
|
assert(row_start >= 0);
|
|
|
|
assert(row_stop >= row_start);
|
|
|
|
rendering->row_start = row_start;
|
|
|
|
rendering->row_end = row_stop;
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
size_t rows = (lst.size() - 1) / cols + 1;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-20 08:41:26 +08:00
|
|
|
size_t effective_selected_idx = this->visual_selected_completion_index(rows, cols);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
for (size_t row = row_start; row < row_stop; row++) {
|
|
|
|
for (size_t col = 0; col < cols; col++) {
|
|
|
|
int is_last = (col == (cols - 1));
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (lst.size() <= col * rows + row) continue;
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2014-01-16 10:21:38 +08:00
|
|
|
size_t idx = col * rows + row;
|
|
|
|
const comp_t *el = &lst.at(idx);
|
2014-01-19 04:42:53 +08:00
|
|
|
bool is_selected = (idx == effective_selected_idx);
|
2014-01-14 08:41:22 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Print this completion on its own "line".
|
|
|
|
line_t line = completion_print_item(
|
|
|
|
prefix, el, row, col,
|
|
|
|
width_per_column[col] - (is_last ? 0 : PAGER_SPACER_STRING_WIDTH), row % 2,
|
|
|
|
is_selected, rendering);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// If there's more to come, append two spaces.
|
|
|
|
if (col + 1 < cols) {
|
2014-01-20 08:41:26 +08:00
|
|
|
line.append(PAGER_SPACER_STRING, 0);
|
2014-01-15 07:39:53 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Append this to the real line.
|
2014-01-22 06:35:18 +08:00
|
|
|
rendering->screen_data.create_line(row - row_start).append_line(line);
|
2014-01-14 08:41:22 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Trim leading and trailing whitespace, and compress other whitespace runs into a single space.
|
|
|
|
static void mangle_1_completion_description(wcstring *str) {
|
2014-01-14 08:41:22 +08:00
|
|
|
size_t leading = 0, trailing = 0, len = str->size();
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Skip leading spaces.
|
|
|
|
for (; leading < len; leading++) {
|
|
|
|
if (!iswspace(str->at(leading))) break;
|
2014-01-14 08:41:22 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Compress runs of spaces to a single space.
|
2014-01-14 08:41:22 +08:00
|
|
|
bool was_space = false;
|
2016-05-03 02:54:01 +08:00
|
|
|
for (; leading < len; leading++) {
|
2014-01-14 08:41:22 +08:00
|
|
|
wchar_t wc = str->at(leading);
|
|
|
|
bool is_space = iswspace(wc);
|
2016-05-03 02:54:01 +08:00
|
|
|
if (!is_space) { // normal character
|
2014-01-14 08:41:22 +08:00
|
|
|
str->at(trailing++) = wc;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else if (!was_space) { // initial space in a run
|
2014-01-14 08:41:22 +08:00
|
|
|
str->at(trailing++) = L' ';
|
2016-05-03 02:54:01 +08:00
|
|
|
} else { // non-initial space in a run, do nothing
|
2014-01-14 08:41:22 +08:00
|
|
|
}
|
|
|
|
was_space = is_space;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// leading is now at len, trailing is the new length of the string. Delete trailing spaces.
|
|
|
|
while (trailing > 0 && iswspace(str->at(trailing - 1))) {
|
2014-01-14 08:41:22 +08:00
|
|
|
trailing--;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-14 08:41:22 +08:00
|
|
|
str->resize(trailing);
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
static void join_completions(comp_info_list_t *comps) {
|
|
|
|
// A map from description to index in the completion list of the element with that description.
|
|
|
|
// The indexes are stored +1.
|
2014-01-14 08:41:22 +08:00
|
|
|
std::map<wcstring, size_t> desc_table;
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Note that we mutate the completion list as we go, so the size changes.
|
|
|
|
for (size_t i = 0; i < comps->size(); i++) {
|
2014-01-14 08:41:22 +08:00
|
|
|
const comp_t &new_comp = comps->at(i);
|
|
|
|
const wcstring &desc = new_comp.desc;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (desc.empty()) continue;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// See if it's in the table.
|
2014-01-14 08:41:22 +08:00
|
|
|
size_t prev_idx_plus_one = desc_table[desc];
|
2016-05-03 02:54:01 +08:00
|
|
|
if (prev_idx_plus_one == 0) {
|
|
|
|
// We're the first with this description.
|
|
|
|
desc_table[desc] = i + 1;
|
|
|
|
} else {
|
2014-01-14 08:41:22 +08:00
|
|
|
// There's a prior completion with this description. Append the new ones to it.
|
|
|
|
comp_t *prior_comp = &comps->at(prev_idx_plus_one - 1);
|
2016-05-03 02:54:01 +08:00
|
|
|
prior_comp->comp.insert(prior_comp->comp.end(), new_comp.comp.begin(),
|
|
|
|
new_comp.comp.end());
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Erase the element at this index, and decrement the index to reflect that fact.
|
2014-01-14 08:41:22 +08:00
|
|
|
comps->erase(comps->begin() + i);
|
|
|
|
i -= 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Generate a list of comp_t structures from a list of completions.
|
|
|
|
static comp_info_list_t process_completions_into_infos(const completion_list_t &lst,
|
|
|
|
const wcstring &prefix) {
|
2014-01-14 08:41:22 +08:00
|
|
|
const size_t lst_size = lst.size();
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Make the list of the correct size up-front.
|
2014-01-14 08:41:22 +08:00
|
|
|
comp_info_list_t result(lst_size);
|
2016-05-03 02:54:01 +08:00
|
|
|
for (size_t i = 0; i < lst_size; i++) {
|
2014-01-14 08:41:22 +08:00
|
|
|
const completion_t &comp = lst.at(i);
|
|
|
|
comp_t *comp_info = &result.at(i);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-14 08:41:22 +08:00
|
|
|
// Append the single completion string. We may later merge these into multiple.
|
|
|
|
comp_info->comp.push_back(escape_string(comp.completion, ESCAPE_ALL | ESCAPE_NO_QUOTED));
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Append the mangled description.
|
2014-01-14 08:41:22 +08:00
|
|
|
comp_info->desc = comp.description;
|
|
|
|
mangle_1_completion_description(&comp_info->desc);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Set the representative completion.
|
2014-01-25 07:59:18 +08:00
|
|
|
comp_info->representative = comp;
|
2014-01-14 08:41:22 +08:00
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::measure_completion_infos(comp_info_list_t *infos, const wcstring &prefix) const {
|
2014-09-26 09:04:11 +08:00
|
|
|
size_t prefix_len = fish_wcswidth(prefix.c_str());
|
2016-05-03 02:54:01 +08:00
|
|
|
for (size_t i = 0; i < infos->size(); i++) {
|
2014-01-14 08:41:22 +08:00
|
|
|
comp_t *comp = &infos->at(i);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Compute comp_width.
|
2014-01-14 08:41:22 +08:00
|
|
|
const wcstring_list_t &comp_strings = comp->comp;
|
2016-05-03 02:54:01 +08:00
|
|
|
for (size_t j = 0; j < comp_strings.size(); j++) {
|
|
|
|
// If there's more than one, append the length of ', '.
|
|
|
|
if (j >= 1) comp->comp_width += 2;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-09-26 09:04:11 +08:00
|
|
|
comp->comp_width += prefix_len + fish_wcswidth(comp_strings.at(j).c_str());
|
2014-01-14 08:41:22 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Compute desc_width.
|
2014-09-26 09:04:11 +08:00
|
|
|
comp->desc_width = fish_wcswidth(comp->desc.c_str());
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Compute preferred width.
|
|
|
|
comp->pref_width = comp->comp_width + comp->desc_width + (comp->desc_width ? 4 : 0);
|
2014-01-14 08:41:22 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-14 08:41:22 +08:00
|
|
|
recalc_min_widths(infos);
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Indicates if the given completion info passes any filtering we have.
|
|
|
|
bool pager_t::completion_info_passes_filter(const comp_t &info) const {
|
|
|
|
// If we have no filter, everything passes.
|
|
|
|
if (!search_field_shown || this->search_field_line.empty()) return true;
|
2014-01-27 16:56:13 +08:00
|
|
|
|
|
|
|
const wcstring &needle = this->search_field_line.text;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// We do substring matching.
|
2014-01-27 16:56:13 +08:00
|
|
|
const fuzzy_match_type_t limit = fuzzy_match_substring;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Match against the description.
|
|
|
|
if (string_fuzzy_match_string(needle, info.desc, limit).type != fuzzy_match_none) {
|
2014-01-27 16:56:13 +08:00
|
|
|
return true;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Match against the completion strings.
|
|
|
|
for (size_t i = 0; i < info.comp.size(); i++) {
|
|
|
|
if (string_fuzzy_match_string(needle, prefix + info.comp.at(i), limit).type !=
|
|
|
|
fuzzy_match_none) {
|
2014-01-27 16:56:13 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
return false; // no match
|
2014-01-27 16:56:13 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Update completion_infos from unfiltered_completion_infos, to reflect the filter.
|
|
|
|
void pager_t::refilter_completions() {
|
2014-01-27 16:56:13 +08:00
|
|
|
this->completion_infos.clear();
|
2016-05-03 02:54:01 +08:00
|
|
|
for (size_t i = 0; i < this->unfiltered_completion_infos.size(); i++) {
|
2014-01-27 16:56:13 +08:00
|
|
|
const comp_t &info = this->unfiltered_completion_infos.at(i);
|
2016-05-03 02:54:01 +08:00
|
|
|
if (this->completion_info_passes_filter(info)) {
|
2014-01-27 16:56:13 +08:00
|
|
|
this->completion_infos.push_back(info);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::set_completions(const completion_list_t &raw_completions) {
|
|
|
|
// Get completion infos out of it.
|
2014-10-31 13:40:35 +08:00
|
|
|
unfiltered_completion_infos = process_completions_into_infos(raw_completions, prefix);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Maybe join them.
|
|
|
|
if (prefix == L"-") join_completions(&unfiltered_completion_infos);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Compute their various widths.
|
2014-01-27 16:56:13 +08:00
|
|
|
measure_completion_infos(&unfiltered_completion_infos, prefix);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Refilter them.
|
2014-01-27 16:56:13 +08:00
|
|
|
this->refilter_completions();
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::set_prefix(const wcstring &pref) { prefix = pref; }
|
2014-01-16 10:21:38 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::set_term_size(int w, int h) {
|
2014-01-14 08:41:22 +08:00
|
|
|
assert(w > 0);
|
|
|
|
assert(h > 0);
|
2014-01-23 09:45:27 +08:00
|
|
|
available_term_width = w;
|
|
|
|
available_term_height = h;
|
2014-01-25 09:38:20 +08:00
|
|
|
recalc_min_widths(&completion_infos);
|
2014-01-14 08:41:22 +08:00
|
|
|
}
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Try to print the list of completions l with the prefix prefix using cols as the number of
|
|
|
|
/// columns. Return true if the completion list was printed, false if the terminal is to narrow for
|
|
|
|
/// the specified number of columns. Always succeeds if cols is 1.
|
|
|
|
bool pager_t::completion_try_print(size_t cols, const wcstring &prefix, const comp_info_list_t &lst,
|
|
|
|
page_rendering_t *rendering, size_t suggested_start_row) const {
|
|
|
|
// The calculated preferred width of each column.
|
2013-12-02 07:11:25 +08:00
|
|
|
int pref_width[PAGER_MAX_COLS] = {0};
|
2016-05-03 02:54:01 +08:00
|
|
|
// The calculated minimum width of each column.
|
2013-12-02 07:11:25 +08:00
|
|
|
int min_width[PAGER_MAX_COLS] = {0};
|
2016-05-03 02:54:01 +08:00
|
|
|
// If the list can be printed with this width, width will contain the width of each column.
|
|
|
|
int *width = pref_width;
|
2014-01-25 08:51:52 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Set to one if the list should be printed at this width.
|
2014-01-25 08:51:52 +08:00
|
|
|
bool print = false;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Compute the effective term width and term height, accounting for disclosure.
|
2014-01-23 09:45:27 +08:00
|
|
|
int term_width = this->available_term_width;
|
2016-05-03 02:54:01 +08:00
|
|
|
int term_height =
|
|
|
|
this->available_term_height - 1 -
|
|
|
|
(search_field_shown ? 1 : 0); // we always subtract 1 to make room for a comment row
|
|
|
|
if (!this->fully_disclosed) {
|
2014-01-23 09:45:27 +08:00
|
|
|
term_height = mini(term_height, PAGER_UNDISCLOSED_MAX_ROWS);
|
2014-02-21 05:30:26 +08:00
|
|
|
}
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2014-01-22 06:35:18 +08:00
|
|
|
size_t row_count = divide_round_up(lst.size(), cols);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// We have more to disclose if we are not fully disclosed and there's more rows than we have in
|
|
|
|
// our term height.
|
|
|
|
if (!this->fully_disclosed && row_count > term_height) {
|
2014-01-23 09:45:27 +08:00
|
|
|
rendering->remaining_to_disclose = row_count - term_height;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-23 09:45:27 +08:00
|
|
|
rendering->remaining_to_disclose = 0;
|
2014-08-12 00:55:07 +08:00
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
|
|
|
|
// If we have only one row remaining to disclose, then squelch the comment row. This prevents us
|
|
|
|
// from consuming a line to show "...and 1 more row".
|
|
|
|
if (!this->fully_disclosed && rendering->remaining_to_disclose == 1) {
|
2014-08-12 00:55:07 +08:00
|
|
|
term_height += 1;
|
|
|
|
rendering->remaining_to_disclose = 0;
|
2014-01-23 09:45:27 +08:00
|
|
|
}
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
int pref_tot_width = 0;
|
2013-12-02 07:11:25 +08:00
|
|
|
int min_tot_width = 0;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Skip completions on tiny terminals.
|
|
|
|
if (term_width < PAGER_MIN_WIDTH) return true;
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Calculate how wide the list would be.
|
|
|
|
for (long col = 0; col < cols; col++) {
|
|
|
|
for (long row = 0; row < row_count; row++) {
|
|
|
|
int pref, min;
|
2013-12-02 07:11:25 +08:00
|
|
|
const comp_t *c;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (lst.size() <= col * row_count + row) continue;
|
2013-12-02 07:11:25 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
c = &lst.at(col * row_count + row);
|
2013-12-02 07:11:25 +08:00
|
|
|
pref = c->pref_width;
|
|
|
|
min = c->min_width;
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (col != cols - 1) {
|
2013-12-02 07:11:25 +08:00
|
|
|
pref += 2;
|
|
|
|
min += 2;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
min_width[col] = maxi(min_width[col], min);
|
|
|
|
pref_width[col] = maxi(pref_width[col], pref);
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
2014-01-20 08:41:26 +08:00
|
|
|
min_tot_width += min_width[col];
|
|
|
|
pref_tot_width += pref_width[col];
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
|
|
|
|
// Force fit if one column.
|
|
|
|
if (cols == 1) {
|
|
|
|
if (pref_tot_width > term_width) {
|
2014-01-14 08:41:22 +08:00
|
|
|
pref_width[0] = term_width;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
width = pref_width;
|
2014-01-25 08:51:52 +08:00
|
|
|
print = true;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else if (pref_tot_width <= term_width) {
|
|
|
|
// Terminal is wide enough. Print the list!
|
2013-12-02 07:11:25 +08:00
|
|
|
width = pref_width;
|
2014-01-25 08:51:52 +08:00
|
|
|
print = true;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (print) {
|
|
|
|
// Determine the starting and stop row.
|
2014-01-22 06:35:18 +08:00
|
|
|
size_t start_row = 0, stop_row = 0;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (row_count <= term_height) {
|
|
|
|
// Easy, we can show everything.
|
2014-01-22 06:35:18 +08:00
|
|
|
start_row = 0;
|
|
|
|
stop_row = row_count;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
|
|
|
// We can only show part of the full list. Determine which part based on the
|
|
|
|
// suggested_start_row.
|
2014-01-22 06:35:18 +08:00
|
|
|
assert(row_count > term_height);
|
|
|
|
size_t last_starting_row = row_count - term_height;
|
|
|
|
start_row = mini(suggested_start_row, last_starting_row);
|
|
|
|
stop_row = start_row + term_height;
|
|
|
|
assert(start_row >= 0 && start_row <= last_starting_row);
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-22 06:35:18 +08:00
|
|
|
assert(stop_row >= start_row);
|
|
|
|
assert(stop_row <= row_count);
|
|
|
|
assert(stop_row - start_row <= term_height);
|
|
|
|
completion_print(cols, width, start_row, stop_row, prefix, lst, rendering);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Ellipsis helper string. Either empty or containing the ellipsis char.
|
2014-01-23 09:50:03 +08:00
|
|
|
const wchar_t ellipsis_string[] = {ellipsis_char == L'\x2026' ? L'\x2026' : L'\0', L'\0'};
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Add the progress line. It's a "more to disclose" line if necessary, or a row listing if
|
|
|
|
// it's scrollable; otherwise ignore it.
|
2014-01-23 09:45:27 +08:00
|
|
|
wcstring progress_text;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (rendering->remaining_to_disclose == 1) {
|
|
|
|
// I don't expect this case to ever happen.
|
2014-08-24 23:33:56 +08:00
|
|
|
progress_text = format_string(_(L"%lsand 1 more row"), ellipsis_string);
|
2016-05-03 02:54:01 +08:00
|
|
|
} else if (rendering->remaining_to_disclose > 1) {
|
|
|
|
progress_text = format_string(_(L"%lsand %lu more rows"), ellipsis_string,
|
|
|
|
(unsigned long)rendering->remaining_to_disclose);
|
|
|
|
} else if (start_row > 0 || stop_row < row_count) {
|
|
|
|
// We have a scrollable interface. The +1 here is because we are zero indexed, but want
|
|
|
|
// to present things as 1-indexed. We do not add 1 to stop_row or row_count because
|
|
|
|
// these are the "past the last value".
|
|
|
|
progress_text =
|
|
|
|
format_string(_(L"rows %lu to %lu of %lu"), start_row + 1, stop_row, row_count);
|
|
|
|
} else if (completion_infos.empty() && !unfiltered_completion_infos.empty()) {
|
|
|
|
// Everything is filtered.
|
2014-08-24 23:33:56 +08:00
|
|
|
progress_text = _(L"(no matches)");
|
2014-01-27 16:56:13 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (!progress_text.empty()) {
|
2014-01-25 09:38:20 +08:00
|
|
|
line_t &line = rendering->screen_data.add_line();
|
2016-05-03 02:54:01 +08:00
|
|
|
print_max(progress_text, highlight_spec_pager_progress |
|
|
|
|
highlight_make_background(highlight_spec_pager_progress),
|
|
|
|
term_width, true /* has_more */, &line);
|
2014-01-25 09:38:20 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (search_field_shown) {
|
|
|
|
// Add the search field.
|
2014-01-27 16:56:13 +08:00
|
|
|
wcstring search_field_text = search_field_line.text;
|
2016-05-03 02:54:01 +08:00
|
|
|
// Append spaces to make it at least the required width.
|
|
|
|
if (search_field_text.size() < PAGER_SEARCH_FIELD_WIDTH) {
|
2014-01-27 16:56:13 +08:00
|
|
|
search_field_text.append(PAGER_SEARCH_FIELD_WIDTH - search_field_text.size(), L' ');
|
|
|
|
}
|
2014-02-28 18:15:24 +08:00
|
|
|
line_t *search_field = &rendering->screen_data.insert_line_at_index(0);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// We limit the width to term_width - 1.
|
|
|
|
int search_field_written = print_max(SEARCH_FIELD_PROMPT, highlight_spec_normal,
|
|
|
|
term_width - 1, false, search_field);
|
|
|
|
search_field_written +=
|
|
|
|
print_max(search_field_text, highlight_modifier_force_underline,
|
|
|
|
term_width - search_field_written - 1, false, search_field);
|
2014-01-26 16:41:30 +08:00
|
|
|
}
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
2014-01-25 08:51:52 +08:00
|
|
|
return print;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
page_rendering_t pager_t::render() const {
|
|
|
|
/// Try to print the completions. Start by trying to print the list in PAGER_MAX_COLS columns,
|
|
|
|
/// if the completions won't fit, reduce the number of columns by one. Printing a single column
|
|
|
|
/// never fails.
|
2014-01-14 08:41:22 +08:00
|
|
|
page_rendering_t rendering;
|
2014-01-23 09:45:27 +08:00
|
|
|
rendering.term_width = this->available_term_width;
|
|
|
|
rendering.term_height = this->available_term_height;
|
2014-01-27 16:56:13 +08:00
|
|
|
rendering.search_field_shown = this->search_field_shown;
|
|
|
|
rendering.search_field_line = this->search_field_line;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
for (int cols = PAGER_MAX_COLS; cols > 0; cols--) {
|
|
|
|
// Initially empty rendering.
|
2014-01-27 16:56:13 +08:00
|
|
|
rendering.screen_data.resize(0);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Determine how many rows we would need if we had 'cols' columns. Then determine how many
|
|
|
|
// columns we want from that. For example, say we had 19 completions. We can fit them into 6
|
|
|
|
// columns, 4 rows, with the last row containing only 1 entry. Or we can fit them into 5
|
|
|
|
// columns, 4 rows, the last row containing 4 entries. Since fewer columns with the same
|
|
|
|
// number of rows is better, skip cases where we know we can do better.
|
2014-01-27 16:56:13 +08:00
|
|
|
size_t min_rows_required_for_cols = divide_round_up(completion_infos.size(), cols);
|
2016-05-03 02:54:01 +08:00
|
|
|
size_t min_cols_required_for_rows =
|
|
|
|
divide_round_up(completion_infos.size(), min_rows_required_for_cols);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-27 16:56:13 +08:00
|
|
|
assert(min_cols_required_for_rows <= cols);
|
2016-05-03 02:54:01 +08:00
|
|
|
if (cols > 1 && min_cols_required_for_rows < cols) {
|
|
|
|
// Next iteration will be better, so skip this one.
|
2014-01-27 16:56:13 +08:00
|
|
|
continue;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-27 16:56:13 +08:00
|
|
|
rendering.cols = (size_t)cols;
|
|
|
|
rendering.rows = min_rows_required_for_cols;
|
2016-05-03 02:54:01 +08:00
|
|
|
rendering.selected_completion_idx =
|
|
|
|
this->visual_selected_completion_index(rendering.rows, rendering.cols);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (completion_try_print(cols, prefix, completion_infos, &rendering, suggested_row_start)) {
|
2014-01-27 16:56:13 +08:00
|
|
|
break;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
|
|
|
}
|
2014-01-14 08:41:22 +08:00
|
|
|
return rendering;
|
2013-12-02 07:11:25 +08:00
|
|
|
}
|
2014-01-16 10:21:38 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::update_rendering(page_rendering_t *rendering) const {
|
2014-01-27 16:56:13 +08:00
|
|
|
if (rendering->term_width != this->available_term_width ||
|
2016-05-03 02:54:01 +08:00
|
|
|
rendering->term_height != this->available_term_height ||
|
|
|
|
rendering->selected_completion_idx !=
|
|
|
|
this->visual_selected_completion_index(rendering->rows, rendering->cols) ||
|
|
|
|
rendering->search_field_shown != this->search_field_shown ||
|
|
|
|
rendering->search_field_line.text != this->search_field_line.text ||
|
|
|
|
rendering->search_field_line.position != this->search_field_line.position ||
|
|
|
|
(rendering->remaining_to_disclose > 0 && this->fully_disclosed)) {
|
2014-01-18 04:04:03 +08:00
|
|
|
*rendering = this->render();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
pager_t::pager_t()
|
|
|
|
: available_term_width(0),
|
|
|
|
available_term_height(0),
|
|
|
|
selected_completion_idx(PAGER_SELECTION_NONE),
|
|
|
|
suggested_row_start(0),
|
|
|
|
fully_disclosed(false),
|
|
|
|
search_field_shown(false) {}
|
2014-01-16 10:21:38 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
bool pager_t::empty() const { return unfiltered_completion_infos.empty(); }
|
2014-01-16 10:21:38 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
bool pager_t::select_next_completion_in_direction(selection_direction_t direction,
|
|
|
|
const page_rendering_t &rendering) {
|
|
|
|
// Must have something to select.
|
|
|
|
if (this->completion_infos.empty()) {
|
2014-01-29 00:19:24 +08:00
|
|
|
return false;
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Handle the case of nothing selected yet.
|
|
|
|
if (selected_completion_idx == PAGER_SELECTION_NONE) {
|
|
|
|
switch (direction) {
|
2014-01-22 08:25:55 +08:00
|
|
|
case direction_south:
|
2015-03-03 05:08:29 +08:00
|
|
|
case direction_page_south:
|
2014-01-22 08:25:55 +08:00
|
|
|
case direction_next:
|
2016-05-04 07:23:30 +08:00
|
|
|
case direction_prev: {
|
|
|
|
// These directions do something sane.
|
2016-05-03 02:54:01 +08:00
|
|
|
if (direction == direction_prev) {
|
2014-01-25 07:59:18 +08:00
|
|
|
selected_completion_idx = completion_infos.size() - 1;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-22 08:25:55 +08:00
|
|
|
selected_completion_idx = 0;
|
|
|
|
}
|
2014-01-27 18:17:31 +08:00
|
|
|
return true;
|
2016-05-04 07:23:30 +08:00
|
|
|
}
|
2014-01-22 08:25:55 +08:00
|
|
|
case direction_north:
|
2015-03-03 05:08:29 +08:00
|
|
|
case direction_page_north:
|
2014-01-22 08:25:55 +08:00
|
|
|
case direction_east:
|
|
|
|
case direction_west:
|
2014-01-25 07:59:18 +08:00
|
|
|
case direction_deselect:
|
2016-05-04 07:23:30 +08:00
|
|
|
default: {
|
|
|
|
// These do nothing.
|
2014-01-27 18:17:31 +08:00
|
|
|
return false;
|
2016-05-04 07:23:30 +08:00
|
|
|
}
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
2014-01-18 04:04:03 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Ok, we had something selected already. Select something different.
|
2014-02-28 18:15:24 +08:00
|
|
|
size_t new_selected_completion_idx = selected_completion_idx;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (!selection_direction_is_cardinal(direction)) {
|
|
|
|
// Next, previous, or deselect, all easy.
|
|
|
|
if (direction == direction_deselect) {
|
2014-01-25 07:59:18 +08:00
|
|
|
new_selected_completion_idx = PAGER_SELECTION_NONE;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else if (direction == direction_next) {
|
2014-01-19 04:42:53 +08:00
|
|
|
new_selected_completion_idx = selected_completion_idx + 1;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (new_selected_completion_idx >= completion_infos.size()) {
|
2014-01-19 04:42:53 +08:00
|
|
|
new_selected_completion_idx = 0;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
} else if (direction == direction_prev) {
|
|
|
|
if (selected_completion_idx == 0) {
|
2014-01-19 04:42:53 +08:00
|
|
|
new_selected_completion_idx = completion_infos.size() - 1;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-19 04:42:53 +08:00
|
|
|
new_selected_completion_idx = selected_completion_idx - 1;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-19 04:42:53 +08:00
|
|
|
assert(0 && "Unknown non-cardinal direction");
|
2014-01-18 04:04:03 +08:00
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
|
|
|
// Cardinal directions. We have a completion index; we wish to compute its row and column.
|
2014-01-25 07:59:18 +08:00
|
|
|
size_t current_row = this->get_selected_row(rendering);
|
|
|
|
size_t current_col = this->get_selected_column(rendering);
|
2015-03-03 05:08:29 +08:00
|
|
|
size_t page_height = maxi(rendering.term_height - 1, 1);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
switch (direction) {
|
|
|
|
case direction_page_north: {
|
2015-03-03 05:08:29 +08:00
|
|
|
if (current_row > page_height)
|
2016-05-03 02:54:01 +08:00
|
|
|
current_row = current_row - page_height;
|
2015-03-03 05:08:29 +08:00
|
|
|
else
|
2016-05-03 02:54:01 +08:00
|
|
|
current_row = 0;
|
2015-03-03 05:08:29 +08:00
|
|
|
break;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
case direction_north: {
|
|
|
|
// Go up a whole row. If we cycle, go to the previous column.
|
|
|
|
if (current_row > 0) {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_row--;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_row = rendering.rows - 1;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (current_col > 0) current_col--;
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
case direction_page_south: {
|
|
|
|
if (current_row + page_height < rendering.rows) {
|
2015-03-03 05:08:29 +08:00
|
|
|
current_row += page_height;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2015-03-03 05:08:29 +08:00
|
|
|
current_row = rendering.rows - 1;
|
|
|
|
if (current_col * rendering.rows + current_row >= completion_infos.size()) {
|
|
|
|
current_row = (completion_infos.size() - 1) % rendering.rows;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
case direction_south: {
|
|
|
|
// Go down, unless we are in the last row. Note that this means that we may set
|
|
|
|
// selected_completion_idx to an out-of-bounds value if the last row is incomplete;
|
|
|
|
// this is a feature (it allows "last column memory").
|
|
|
|
if (current_row + 1 < rendering.rows) {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_row++;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_row = 0;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (current_col + 1 < rendering.cols) current_col++;
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
case direction_east: {
|
|
|
|
// Go east, wrapping to the next row. There is no "row memory," so if we run off the
|
|
|
|
// end, wrap.
|
|
|
|
if (current_col + 1 < rendering.cols &&
|
|
|
|
(current_col + 1) * rendering.rows + current_row < completion_infos.size()) {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_col++;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_col = 0;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (current_row + 1 < rendering.rows) current_row++;
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2016-05-03 02:54:01 +08:00
|
|
|
case direction_west: {
|
|
|
|
// Go west, wrapping to the previous row.
|
|
|
|
if (current_col > 0) {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_col--;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-19 04:42:53 +08:00
|
|
|
current_col = rendering.cols - 1;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (current_row > 0) current_row--;
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2016-05-04 07:23:30 +08:00
|
|
|
default: {
|
2014-01-19 04:42:53 +08:00
|
|
|
assert(0 && "Unknown cardinal direction");
|
|
|
|
break;
|
2016-05-04 07:23:30 +08:00
|
|
|
}
|
2014-01-18 04:04:03 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Compute the new index based on the changed row.
|
2014-01-19 04:42:53 +08:00
|
|
|
new_selected_completion_idx = current_col * rendering.rows + current_row;
|
2014-01-18 04:04:03 +08:00
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (new_selected_completion_idx != selected_completion_idx) {
|
2014-01-18 04:04:03 +08:00
|
|
|
selected_completion_idx = new_selected_completion_idx;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Update suggested_row_start to ensure the selection is visible. suggested_row_start *
|
|
|
|
// rendering.cols is the first suggested visible completion; add the visible completion
|
|
|
|
// count to that to get the last one.
|
2014-01-22 06:35:18 +08:00
|
|
|
size_t visible_row_count = rendering.row_end - rendering.row_start;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
if (visible_row_count > 0 && selected_completion_idx != PAGER_SELECTION_NONE) // paranoia
|
2014-01-22 06:35:18 +08:00
|
|
|
{
|
2014-01-25 07:59:18 +08:00
|
|
|
size_t row_containing_selection = this->get_selected_row(rendering);
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Ensure our suggested row start is not past the selected row.
|
|
|
|
if (suggested_row_start > row_containing_selection) {
|
2014-01-22 06:35:18 +08:00
|
|
|
suggested_row_start = row_containing_selection;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Ensure our suggested row start is not too early before it.
|
|
|
|
if (suggested_row_start + visible_row_count <= row_containing_selection) {
|
|
|
|
// The user moved south past the bottom completion.
|
|
|
|
if (!fully_disclosed && rendering.remaining_to_disclose > 0) {
|
|
|
|
fully_disclosed = true; // perform disclosure
|
|
|
|
} else {
|
|
|
|
// Scroll
|
2014-01-23 09:45:27 +08:00
|
|
|
suggested_row_start = row_containing_selection - visible_row_count + 1;
|
2016-05-03 02:54:01 +08:00
|
|
|
// Ensure fully_disclosed is set. I think we can hit this case if the user
|
|
|
|
// resizes the window - we don't want to drop back to the disclosed style.
|
2014-01-23 09:45:27 +08:00
|
|
|
fully_disclosed = true;
|
|
|
|
}
|
2014-01-22 06:35:18 +08:00
|
|
|
}
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-27 18:17:31 +08:00
|
|
|
return true;
|
2016-05-03 02:54:01 +08:00
|
|
|
} else {
|
2014-01-27 18:17:31 +08:00
|
|
|
return false;
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
size_t pager_t::visual_selected_completion_index(size_t rows, size_t cols) const {
|
|
|
|
// No completions -> no selection.
|
|
|
|
if (completion_infos.empty() || rows == 0 || cols == 0) {
|
2014-01-27 16:56:13 +08:00
|
|
|
return PAGER_SELECTION_NONE;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2014-01-19 04:42:53 +08:00
|
|
|
size_t result = selected_completion_idx;
|
2016-05-03 02:54:01 +08:00
|
|
|
if (result != PAGER_SELECTION_NONE) {
|
|
|
|
// If the selected completion is beyond the last selection, go left by columns until it's
|
|
|
|
// within it. This is how we implement "column memory".
|
|
|
|
while (result >= completion_infos.size() && result >= rows) {
|
2014-01-20 08:41:26 +08:00
|
|
|
result -= rows;
|
|
|
|
}
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// If we are still beyond the last selection, clamp it.
|
|
|
|
if (result >= completion_infos.size()) result = completion_infos.size() - 1;
|
2014-01-18 04:04:03 +08:00
|
|
|
}
|
2014-01-25 07:59:18 +08:00
|
|
|
assert(result == PAGER_SELECTION_NONE || result < completion_infos.size());
|
2014-01-19 04:42:53 +08:00
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// It's possible we have no visual selection but are still navigating the contents, e.g. every
|
|
|
|
// completion is filtered.
|
|
|
|
bool pager_t::is_navigating_contents() const {
|
2014-01-27 16:56:13 +08:00
|
|
|
return selected_completion_idx != PAGER_SELECTION_NONE;
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::set_fully_disclosed(bool flag) { fully_disclosed = flag; }
|
2014-02-21 05:30:26 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
const completion_t *pager_t::selected_completion(const page_rendering_t &rendering) const {
|
|
|
|
const completion_t *result = NULL;
|
2014-01-20 08:41:26 +08:00
|
|
|
size_t idx = visual_selected_completion_index(rendering.rows, rendering.cols);
|
2016-05-03 02:54:01 +08:00
|
|
|
if (idx != PAGER_SELECTION_NONE) {
|
2014-01-25 07:59:18 +08:00
|
|
|
result = &completion_infos.at(idx).representative;
|
2014-01-19 04:42:53 +08:00
|
|
|
}
|
|
|
|
return result;
|
2014-01-18 04:04:03 +08:00
|
|
|
}
|
2014-01-16 10:21:38 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
/// Get the selected row and column. Completions are rendered column first, i.e. we go south before
|
|
|
|
/// we go west. So if we have N rows, and our selected index is N + 2, then our row is 2 (mod by N)
|
|
|
|
/// and our column is 1 (divide by N).
|
|
|
|
size_t pager_t::get_selected_row(const page_rendering_t &rendering) const {
|
|
|
|
if (rendering.rows == 0) return PAGER_SELECTION_NONE;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
return selected_completion_idx == PAGER_SELECTION_NONE
|
|
|
|
? PAGER_SELECTION_NONE
|
|
|
|
: selected_completion_idx % rendering.rows;
|
2014-01-25 07:59:18 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
size_t pager_t::get_selected_column(const page_rendering_t &rendering) const {
|
|
|
|
if (rendering.rows == 0) return PAGER_SELECTION_NONE;
|
2014-04-01 01:01:39 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
return selected_completion_idx == PAGER_SELECTION_NONE
|
|
|
|
? PAGER_SELECTION_NONE
|
|
|
|
: selected_completion_idx / rendering.rows;
|
2014-01-25 07:59:18 +08:00
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::clear() {
|
2014-01-27 16:56:13 +08:00
|
|
|
unfiltered_completion_infos.clear();
|
2014-01-16 10:21:38 +08:00
|
|
|
completion_infos.clear();
|
|
|
|
prefix.clear();
|
2014-01-20 15:52:35 +08:00
|
|
|
selected_completion_idx = PAGER_SELECTION_NONE;
|
2014-01-23 09:45:27 +08:00
|
|
|
fully_disclosed = false;
|
2014-01-26 16:41:30 +08:00
|
|
|
search_field_shown = false;
|
2014-01-27 16:56:13 +08:00
|
|
|
search_field_line.clear();
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
void pager_t::set_search_field_shown(bool flag) { this->search_field_shown = flag; }
|
2014-01-27 16:56:13 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
bool pager_t::is_search_field_shown() const { return this->search_field_shown; }
|
2014-01-27 16:56:13 +08:00
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
size_t pager_t::cursor_position() const {
|
2014-01-27 16:56:13 +08:00
|
|
|
size_t result = wcslen(SEARCH_FIELD_PROMPT) + this->search_field_line.position;
|
2016-05-03 02:54:01 +08:00
|
|
|
// Clamp it to the right edge.
|
|
|
|
if (available_term_width > 0 && result + 1 > available_term_width) {
|
2014-01-27 16:56:13 +08:00
|
|
|
result = available_term_width - 1;
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2016-05-03 02:54:01 +08:00
|
|
|
// Constructor
|
|
|
|
page_rendering_t::page_rendering_t()
|
|
|
|
: term_width(-1),
|
|
|
|
term_height(-1),
|
|
|
|
rows(0),
|
|
|
|
cols(0),
|
|
|
|
row_start(0),
|
|
|
|
row_end(0),
|
|
|
|
selected_completion_idx(-1),
|
|
|
|
remaining_to_disclose(0),
|
|
|
|
search_field_shown(false) {}
|