2012-02-16 15:25:16 +01:00
|
|
|
#include "ncurses.hh"
|
|
|
|
|
2012-10-20 20:15:20 +02:00
|
|
|
#include "display_buffer.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "event_manager.hh"
|
2012-02-16 15:25:16 +01:00
|
|
|
#include "register_manager.hh"
|
2012-10-08 14:27:43 +02:00
|
|
|
#include "utf8_iterator.hh"
|
|
|
|
|
2012-02-16 15:25:16 +01:00
|
|
|
#include <map>
|
|
|
|
|
2013-06-18 21:49:56 +02:00
|
|
|
#define NCURSES_OPAQUE 0
|
|
|
|
#define NCURSES_INTERNALS
|
|
|
|
|
2014-04-03 02:54:49 +02:00
|
|
|
#ifdef __APPLE__
|
|
|
|
#include <ncurses.h>
|
|
|
|
#else
|
2013-06-18 21:49:56 +02:00
|
|
|
#include <ncursesw/ncurses.h>
|
2014-04-03 02:54:49 +02:00
|
|
|
#endif
|
|
|
|
|
2012-10-27 14:18:52 +02:00
|
|
|
#include <signal.h>
|
|
|
|
#include <termios.h>
|
|
|
|
#include <sys/ioctl.h>
|
|
|
|
#include <fcntl.h>
|
2012-02-16 15:25:16 +01:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
2012-06-06 01:15:19 +02:00
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
using std::min;
|
|
|
|
using std::max;
|
|
|
|
|
2013-04-12 01:28:22 +02:00
|
|
|
struct NCursesWin : WINDOW {};
|
|
|
|
|
2012-02-16 15:25:16 +01:00
|
|
|
static void set_attribute(int attribute, bool on)
|
|
|
|
{
|
|
|
|
if (on)
|
|
|
|
attron(attribute);
|
|
|
|
else
|
|
|
|
attroff(attribute);
|
|
|
|
}
|
|
|
|
|
2013-07-26 00:26:43 +02:00
|
|
|
static bool operator<(Color lhs, Color rhs)
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2013-05-07 18:52:23 +02:00
|
|
|
if (lhs.color == rhs.color and lhs.color == Colors::RGB)
|
|
|
|
return lhs.r == rhs.r ? (lhs.g == rhs.g ? lhs.b < rhs.b
|
|
|
|
: lhs.g < rhs.g)
|
|
|
|
: lhs.r < rhs.r;
|
|
|
|
return lhs.color < rhs.color;
|
|
|
|
}
|
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
template<typename T> T sq(T x) { return x * x; }
|
|
|
|
|
2013-07-26 00:26:43 +02:00
|
|
|
static int nc_color(Color color)
|
2013-05-07 18:52:23 +02:00
|
|
|
{
|
|
|
|
static std::map<Color, int> colors = {
|
|
|
|
{ Colors::Default, -1 },
|
|
|
|
{ Colors::Black, COLOR_BLACK },
|
|
|
|
{ Colors::Red, COLOR_RED },
|
|
|
|
{ Colors::Green, COLOR_GREEN },
|
|
|
|
{ Colors::Yellow, COLOR_YELLOW },
|
|
|
|
{ Colors::Blue, COLOR_BLUE },
|
|
|
|
{ Colors::Magenta, COLOR_MAGENTA },
|
|
|
|
{ Colors::Cyan, COLOR_CYAN },
|
|
|
|
{ Colors::White, COLOR_WHITE },
|
|
|
|
};
|
|
|
|
static int next_color = 8;
|
|
|
|
|
|
|
|
auto it = colors.find(color);
|
|
|
|
if (it != colors.end())
|
|
|
|
return it->second;
|
|
|
|
else if (can_change_color() and COLORS > 8)
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2013-05-07 18:52:23 +02:00
|
|
|
kak_assert(color.color == Colors::RGB);
|
|
|
|
if (next_color > COLORS)
|
|
|
|
next_color = 8;
|
|
|
|
init_color(next_color,
|
|
|
|
color.r * 1000 / 255,
|
|
|
|
color.g * 1000 / 255,
|
|
|
|
color.b * 1000 / 255);
|
|
|
|
colors[color] = next_color;
|
|
|
|
return next_color++;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
kak_assert(color.color == Colors::RGB);
|
|
|
|
// project to closest color.
|
|
|
|
struct BuiltinColor { int id; unsigned char r, g, b; };
|
|
|
|
static constexpr BuiltinColor builtins[] = {
|
|
|
|
{ COLOR_BLACK, 0, 0, 0 },
|
|
|
|
{ COLOR_RED, 255, 0, 0 },
|
|
|
|
{ COLOR_GREEN, 0, 255, 0 },
|
|
|
|
{ COLOR_YELLOW, 255, 255, 0 },
|
|
|
|
{ COLOR_BLUE, 0, 0, 255 },
|
|
|
|
{ COLOR_MAGENTA, 255, 0, 255 },
|
|
|
|
{ COLOR_CYAN, 0, 255, 255 },
|
|
|
|
{ COLOR_WHITE, 255, 255, 255 }
|
|
|
|
};
|
|
|
|
int lowestDist = INT_MAX;
|
|
|
|
int closestCol = -1;
|
|
|
|
for (auto& col : builtins)
|
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
int dist = sq(color.r - col.r)
|
|
|
|
+ sq(color.g - col.g)
|
|
|
|
+ sq(color.b - col.b);
|
2013-05-07 18:52:23 +02:00
|
|
|
if (dist < lowestDist)
|
|
|
|
{
|
|
|
|
lowestDist = dist;
|
|
|
|
closestCol = col.id;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return closestCol;
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-07-26 00:26:43 +02:00
|
|
|
static int get_color_pair(ColorPair colors)
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2013-03-06 20:25:23 +01:00
|
|
|
static std::map<ColorPair, int> colorpairs;
|
2012-02-16 15:25:16 +01:00
|
|
|
static int next_pair = 1;
|
|
|
|
|
2013-03-06 20:25:23 +01:00
|
|
|
auto it = colorpairs.find(colors);
|
2012-09-05 00:49:59 +02:00
|
|
|
if (it != colorpairs.end())
|
|
|
|
return it->second;
|
2012-02-16 15:25:16 +01:00
|
|
|
else
|
|
|
|
{
|
2013-03-06 20:25:23 +01:00
|
|
|
init_pair(next_pair, nc_color(colors.first), nc_color(colors.second));
|
|
|
|
colorpairs[colors] = next_pair;
|
2012-09-05 00:49:59 +02:00
|
|
|
return next_pair++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-07-26 00:26:43 +02:00
|
|
|
static void set_color(WINDOW* window, ColorPair colors)
|
2012-09-05 00:49:59 +02:00
|
|
|
{
|
|
|
|
static int current_pair = -1;
|
|
|
|
|
|
|
|
if (current_pair != -1)
|
2013-03-08 18:42:43 +01:00
|
|
|
wattroff(window, COLOR_PAIR(current_pair));
|
2012-09-05 00:49:59 +02:00
|
|
|
|
2013-05-07 18:52:23 +02:00
|
|
|
if (colors.first != Colors::Default or colors.second != Colors::Default)
|
2012-09-05 00:49:59 +02:00
|
|
|
{
|
2013-03-06 20:25:23 +01:00
|
|
|
current_pair = get_color_pair(colors);
|
2013-03-08 18:42:43 +01:00
|
|
|
wattron(window, COLOR_PAIR(current_pair));
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-27 14:18:52 +02:00
|
|
|
void on_term_resize(int)
|
|
|
|
{
|
|
|
|
ungetch(KEY_RESIZE);
|
2012-10-27 15:02:17 +02:00
|
|
|
EventManager::instance().force_signal(0);
|
2012-10-27 14:18:52 +02:00
|
|
|
}
|
2012-09-05 00:49:59 +02:00
|
|
|
|
2012-11-08 14:04:41 +01:00
|
|
|
void on_sigint(int)
|
|
|
|
{
|
|
|
|
ungetch(CTRL('c'));
|
|
|
|
EventManager::instance().force_signal(0);
|
|
|
|
}
|
|
|
|
|
2012-09-24 19:24:27 +02:00
|
|
|
NCursesUI::NCursesUI()
|
2013-10-17 19:48:12 +02:00
|
|
|
: m_stdin_watcher{0, [this](FDWatcher&){ if (m_input_callback)
|
|
|
|
m_input_callback(); }}
|
2012-09-05 00:49:59 +02:00
|
|
|
{
|
|
|
|
initscr();
|
|
|
|
cbreak();
|
|
|
|
noecho();
|
|
|
|
nonl();
|
|
|
|
intrflush(stdscr, false);
|
|
|
|
keypad(stdscr, true);
|
|
|
|
curs_set(0);
|
|
|
|
start_color();
|
|
|
|
use_default_colors();
|
2013-06-18 21:49:56 +02:00
|
|
|
set_escdelay(25);
|
2012-09-05 00:49:59 +02:00
|
|
|
|
2012-10-27 14:18:52 +02:00
|
|
|
signal(SIGWINCH, on_term_resize);
|
2012-11-08 14:04:41 +01:00
|
|
|
signal(SIGINT, on_sigint);
|
2012-12-03 18:50:44 +01:00
|
|
|
|
|
|
|
update_dimensions();
|
2012-09-05 00:49:59 +02:00
|
|
|
}
|
|
|
|
|
2012-09-24 19:24:27 +02:00
|
|
|
NCursesUI::~NCursesUI()
|
2012-09-05 00:49:59 +02:00
|
|
|
{
|
|
|
|
endwin();
|
2012-12-03 18:50:44 +01:00
|
|
|
signal(SIGWINCH, SIG_DFL);
|
|
|
|
signal(SIGINT, SIG_DFL);
|
2012-09-05 00:49:59 +02:00
|
|
|
}
|
|
|
|
|
2013-01-15 14:16:45 +01:00
|
|
|
void NCursesUI::redraw()
|
2012-09-30 15:18:37 +02:00
|
|
|
{
|
|
|
|
wnoutrefresh(stdscr);
|
2013-01-15 14:16:45 +01:00
|
|
|
if (m_menu_win)
|
2012-09-30 15:18:37 +02:00
|
|
|
{
|
2013-01-15 14:16:45 +01:00
|
|
|
redrawwin(m_menu_win);
|
|
|
|
wnoutrefresh(m_menu_win);
|
2012-09-30 15:18:37 +02:00
|
|
|
}
|
2013-01-15 14:16:45 +01:00
|
|
|
if (m_info_win)
|
2012-12-14 19:04:34 +01:00
|
|
|
{
|
2013-01-15 14:16:45 +01:00
|
|
|
redrawwin(m_info_win);
|
|
|
|
wnoutrefresh(m_info_win);
|
2012-12-14 19:04:34 +01:00
|
|
|
}
|
2012-09-30 15:18:37 +02:00
|
|
|
doupdate();
|
|
|
|
}
|
2014-04-15 20:19:44 +02:00
|
|
|
|
|
|
|
void NCursesUI::refresh()
|
|
|
|
{
|
|
|
|
if (m_dirty)
|
|
|
|
redraw();
|
|
|
|
m_dirty = false;
|
|
|
|
}
|
|
|
|
|
2012-10-13 18:31:29 +02:00
|
|
|
using Utf8Policy = utf8::InvalidBytePolicy::Pass;
|
2014-04-30 20:39:52 +02:00
|
|
|
using Utf8Iterator = utf8::utf8_iterator<const char*, Utf8Policy>;
|
2012-12-14 19:04:34 +01:00
|
|
|
void addutf8str(WINDOW* win, Utf8Iterator begin, Utf8Iterator end)
|
2012-10-08 14:27:43 +02:00
|
|
|
{
|
2013-06-05 19:19:35 +02:00
|
|
|
waddstr(win, std::string(begin.base(), end.base()).c_str());
|
2012-10-08 14:27:43 +02:00
|
|
|
}
|
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
static CharCoord window_size(WINDOW* win)
|
2012-12-15 18:32:56 +01:00
|
|
|
{
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord size;
|
2012-12-15 18:32:56 +01:00
|
|
|
getmaxyx(win, (int&)size.line, (int&)size.column);
|
|
|
|
return size;
|
|
|
|
}
|
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
static CharCoord window_pos(WINDOW* win)
|
2012-12-15 19:10:59 +01:00
|
|
|
{
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord pos;
|
2012-12-15 19:10:59 +01:00
|
|
|
getbegyx(win, (int&)pos.line, (int&)pos.column);
|
|
|
|
return pos;
|
|
|
|
}
|
|
|
|
|
2012-10-27 14:18:52 +02:00
|
|
|
void NCursesUI::update_dimensions()
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2012-12-15 18:32:56 +01:00
|
|
|
m_dimensions = window_size(stdscr);
|
|
|
|
--m_dimensions.line;
|
2012-10-27 14:18:52 +02:00
|
|
|
}
|
2012-09-03 19:20:41 +02:00
|
|
|
|
2013-04-04 18:50:00 +02:00
|
|
|
void NCursesUI::draw_line(const DisplayLine& line, CharCount col_index) const
|
|
|
|
{
|
|
|
|
for (const DisplayAtom& atom : line)
|
|
|
|
{
|
|
|
|
set_attribute(A_UNDERLINE, atom.attribute & Underline);
|
|
|
|
set_attribute(A_REVERSE, atom.attribute & Reverse);
|
|
|
|
set_attribute(A_BLINK, atom.attribute & Blink);
|
|
|
|
set_attribute(A_BOLD, atom.attribute & Bold);
|
|
|
|
|
|
|
|
set_color(stdscr, atom.colors);
|
|
|
|
|
2014-05-16 20:29:39 +02:00
|
|
|
StringView content = atom.content();
|
|
|
|
if (content.empty())
|
|
|
|
continue;
|
|
|
|
|
2013-04-04 18:50:00 +02:00
|
|
|
if (content[content.length()-1] == '\n' and
|
|
|
|
content.char_length() - 1 < m_dimensions.column - col_index)
|
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
addutf8str(stdscr, Utf8Iterator{content.begin()},
|
|
|
|
Utf8Iterator{content.end()}-1);
|
2013-04-04 18:50:00 +02:00
|
|
|
addch(' ');
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
Utf8Iterator begin{content.begin()}, end{content.end()};
|
2013-04-04 18:50:00 +02:00
|
|
|
if (end - begin > m_dimensions.column - col_index)
|
|
|
|
end = begin + (m_dimensions.column - col_index);
|
|
|
|
addutf8str(stdscr, begin, end);
|
|
|
|
col_index += end - begin;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-27 14:18:52 +02:00
|
|
|
void NCursesUI::draw(const DisplayBuffer& display_buffer,
|
2013-09-16 20:15:13 +02:00
|
|
|
const DisplayLine& status_line,
|
2013-04-04 18:50:00 +02:00
|
|
|
const DisplayLine& mode_line)
|
2012-10-27 14:18:52 +02:00
|
|
|
{
|
|
|
|
LineCount line_index = 0;
|
2012-10-20 20:15:20 +02:00
|
|
|
for (const DisplayLine& line : display_buffer.lines())
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2013-03-08 18:42:43 +01:00
|
|
|
wmove(stdscr, (int)line_index, 0);
|
|
|
|
wclrtoeol(stdscr);
|
2013-04-04 18:50:00 +02:00
|
|
|
draw_line(line, 0);
|
2012-07-12 23:19:10 +02:00
|
|
|
++line_index;
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
set_attribute(A_UNDERLINE, 0);
|
|
|
|
set_attribute(A_REVERSE, 0);
|
|
|
|
set_attribute(A_BLINK, 0);
|
|
|
|
set_attribute(A_BOLD, 0);
|
2013-05-07 18:52:23 +02:00
|
|
|
set_color(stdscr, { Colors::Blue, Colors::Default });
|
2012-10-27 14:18:52 +02:00
|
|
|
for (;line_index < m_dimensions.line; ++line_index)
|
2012-02-16 15:25:16 +01:00
|
|
|
{
|
2012-10-27 14:18:52 +02:00
|
|
|
move((int)line_index, 0);
|
2012-02-16 15:25:16 +01:00
|
|
|
clrtoeol();
|
|
|
|
addch('~');
|
|
|
|
}
|
|
|
|
|
2013-04-04 18:50:00 +02:00
|
|
|
move((int)m_dimensions.line, 0);
|
|
|
|
clrtoeol();
|
2013-09-16 20:15:13 +02:00
|
|
|
draw_line(status_line, 0);
|
2013-04-04 18:50:00 +02:00
|
|
|
CharCount status_len = mode_line.length();
|
2012-10-29 19:01:57 +01:00
|
|
|
// only draw mode_line if it does not overlap one status line
|
2013-09-16 20:15:13 +02:00
|
|
|
if (m_dimensions.column - status_line.length() > status_len + 1)
|
2012-10-29 19:01:57 +01:00
|
|
|
{
|
2013-04-04 18:50:00 +02:00
|
|
|
CharCount col = m_dimensions.column - status_len;
|
|
|
|
move((int)m_dimensions.line, (int)col);
|
|
|
|
draw_line(mode_line, col);
|
2012-10-29 19:01:57 +01:00
|
|
|
}
|
2013-04-18 20:22:19 +02:00
|
|
|
|
|
|
|
const char* tsl = tigetstr((char*)"tsl");
|
|
|
|
const char* fsl = tigetstr((char*)"fsl");
|
2013-10-17 19:48:12 +02:00
|
|
|
if (tsl != 0 and (ptrdiff_t)tsl != -1 and
|
|
|
|
fsl != 0 and (ptrdiff_t)fsl != -1)
|
2013-04-18 20:22:19 +02:00
|
|
|
{
|
|
|
|
String title;
|
|
|
|
for (auto& atom : mode_line)
|
2013-07-24 14:55:57 +02:00
|
|
|
title += atom.content();
|
2013-04-18 20:22:19 +02:00
|
|
|
title += " - Kakoune";
|
|
|
|
printf("%s%s%s", tsl, title.c_str(), fsl);
|
|
|
|
}
|
|
|
|
|
2014-04-15 20:19:44 +02:00
|
|
|
m_dirty = true;
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|
|
|
|
|
2012-10-28 09:26:54 +01:00
|
|
|
bool NCursesUI::is_key_available()
|
|
|
|
{
|
|
|
|
timeout(0);
|
|
|
|
const int c = getch();
|
|
|
|
if (c != ERR)
|
|
|
|
ungetch(c);
|
|
|
|
timeout(-1);
|
|
|
|
return c != ERR;
|
|
|
|
}
|
|
|
|
|
2012-10-09 14:30:35 +02:00
|
|
|
Key NCursesUI::get_key()
|
|
|
|
{
|
2012-12-03 18:50:44 +01:00
|
|
|
const int c = getch();
|
2012-02-16 15:25:16 +01:00
|
|
|
if (c > 0 and c < 27)
|
|
|
|
{
|
2013-03-12 18:57:12 +01:00
|
|
|
if (c == CTRL('l'))
|
|
|
|
redrawwin(stdscr);
|
2013-10-26 19:42:36 +02:00
|
|
|
return ctrl(Codepoint(c) - 1 + 'a');
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|
|
|
|
else if (c == 27)
|
|
|
|
{
|
|
|
|
timeout(0);
|
2012-10-09 19:15:05 +02:00
|
|
|
const Codepoint new_c = getch();
|
2012-02-16 15:25:16 +01:00
|
|
|
timeout(-1);
|
|
|
|
if (new_c != ERR)
|
2013-10-26 19:42:36 +02:00
|
|
|
return alt(new_c);
|
2012-09-07 20:22:19 +02:00
|
|
|
else
|
|
|
|
return Key::Escape;
|
|
|
|
}
|
2012-12-03 18:50:44 +01:00
|
|
|
else if (c == KEY_RESIZE)
|
|
|
|
{
|
|
|
|
int fd = open("/dev/tty", O_RDWR);
|
|
|
|
winsize ws;
|
|
|
|
if (fd != -1 and ioctl(fd, TIOCGWINSZ, (void*)&ws) == 0)
|
|
|
|
{
|
|
|
|
close(fd);
|
|
|
|
resizeterm(ws.ws_row, ws.ws_col);
|
|
|
|
update_dimensions();
|
|
|
|
}
|
|
|
|
return Key::Invalid;
|
|
|
|
}
|
2012-09-07 20:22:19 +02:00
|
|
|
else switch (c)
|
|
|
|
{
|
2012-12-09 14:31:19 +01:00
|
|
|
case KEY_BACKSPACE: case 127: return Key::Backspace;
|
2014-05-25 18:41:28 +02:00
|
|
|
case KEY_DC: return Key::Delete;
|
2012-09-07 20:22:19 +02:00
|
|
|
case KEY_UP: return Key::Up;
|
|
|
|
case KEY_DOWN: return Key::Down;
|
|
|
|
case KEY_LEFT: return Key::Left;
|
|
|
|
case KEY_RIGHT: return Key::Right;
|
2012-09-07 21:09:23 +02:00
|
|
|
case KEY_PPAGE: return Key::PageUp;
|
|
|
|
case KEY_NPAGE: return Key::PageDown;
|
2013-02-19 13:50:27 +01:00
|
|
|
case KEY_HOME: return Key::Home;
|
|
|
|
case KEY_END: return Key::End;
|
2012-09-11 14:27:21 +02:00
|
|
|
case KEY_BTAB: return Key::BackTab;
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|
2012-10-09 14:30:35 +02:00
|
|
|
|
2013-11-09 12:12:55 +01:00
|
|
|
for (int i = 0; i < 12; ++i)
|
|
|
|
{
|
|
|
|
if (c == KEY_F(i+1))
|
|
|
|
return Key::F1 + i;
|
|
|
|
}
|
|
|
|
|
2012-12-03 18:50:44 +01:00
|
|
|
if (c >= 0 and c < 256)
|
2012-10-18 19:56:57 +02:00
|
|
|
{
|
|
|
|
ungetch(c);
|
2013-01-22 14:29:16 +01:00
|
|
|
struct getch_iterator
|
|
|
|
{
|
|
|
|
int operator*() { return getch(); }
|
|
|
|
getch_iterator& operator++() { return *this; }
|
|
|
|
getch_iterator& operator++(int) { return *this; }
|
|
|
|
};
|
2012-10-18 19:56:57 +02:00
|
|
|
return utf8::codepoint(getch_iterator{});
|
|
|
|
}
|
|
|
|
return Key::Invalid;
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|
|
|
|
|
2013-10-17 01:22:06 +02:00
|
|
|
template<typename T>
|
|
|
|
T div_round_up(T a, T b)
|
|
|
|
{
|
|
|
|
return (a - T(1)) / b + T(1);
|
|
|
|
}
|
|
|
|
|
2013-03-14 19:19:33 +01:00
|
|
|
void NCursesUI::draw_menu()
|
|
|
|
{
|
2013-07-12 14:15:56 +02:00
|
|
|
// menu show may have not created the window if it did not fit.
|
|
|
|
// so be tolerant.
|
|
|
|
if (not m_menu_win)
|
|
|
|
return;
|
2013-03-14 19:19:33 +01:00
|
|
|
|
2013-10-17 01:22:06 +02:00
|
|
|
const auto menu_fg = get_color_pair(m_menu_fg);
|
|
|
|
const auto menu_bg = get_color_pair(m_menu_bg);
|
2013-03-14 19:19:33 +01:00
|
|
|
|
|
|
|
wattron(m_menu_win, COLOR_PAIR(menu_bg));
|
|
|
|
wbkgdset(m_menu_win, COLOR_PAIR(menu_bg));
|
2013-10-17 01:22:06 +02:00
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
const int item_count = (int)m_items.size();
|
|
|
|
const LineCount menu_lines = div_round_up(item_count, m_menu_columns);
|
2014-05-07 20:51:01 +02:00
|
|
|
const CharCoord win_size = window_size(m_menu_win);
|
2013-10-17 19:48:12 +02:00
|
|
|
const LineCount& win_height = win_size.line;
|
|
|
|
kak_assert(win_height <= menu_lines);
|
2013-10-17 01:22:06 +02:00
|
|
|
|
|
|
|
const CharCount column_width = (win_size.column - 1) / m_menu_columns;
|
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
const LineCount mark_height = min(div_round_up(sq(win_height), menu_lines),
|
|
|
|
win_height);
|
|
|
|
const LineCount mark_line = (win_height - mark_height) * m_menu_top_line /
|
|
|
|
max(1_line, menu_lines - win_height);
|
|
|
|
for (auto line = 0_line; line < win_height; ++line)
|
2013-03-14 19:19:33 +01:00
|
|
|
{
|
|
|
|
wmove(m_menu_win, (int)line, 0);
|
|
|
|
for (int col = 0; col < m_menu_columns; ++col)
|
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
const int item_idx = (int)(m_menu_top_line + line) * m_menu_columns
|
|
|
|
+ col;
|
|
|
|
if (item_idx >= item_count)
|
2013-03-14 19:19:33 +01:00
|
|
|
break;
|
2013-10-17 19:48:12 +02:00
|
|
|
if (item_idx == m_selected_item)
|
2013-03-14 19:19:33 +01:00
|
|
|
wattron(m_menu_win, COLOR_PAIR(menu_fg));
|
|
|
|
|
2014-04-30 20:39:52 +02:00
|
|
|
StringView item = m_items[item_idx];
|
|
|
|
auto begin = item.begin();
|
|
|
|
auto end = utf8::advance(begin, item.end(), column_width);
|
2013-03-14 19:19:33 +01:00
|
|
|
addutf8str(m_menu_win, begin, end);
|
2013-10-17 19:48:12 +02:00
|
|
|
const CharCount pad = column_width - utf8::distance(begin, end);
|
|
|
|
waddstr(m_menu_win, String{' ' COMMA pad}.c_str());
|
2013-03-14 19:19:33 +01:00
|
|
|
wattron(m_menu_win, COLOR_PAIR(menu_bg));
|
|
|
|
}
|
2013-10-17 19:48:12 +02:00
|
|
|
const bool is_mark = line >= mark_line and
|
|
|
|
line < mark_line + mark_height;
|
2013-03-14 19:19:33 +01:00
|
|
|
wclrtoeol(m_menu_win);
|
2013-10-17 01:22:06 +02:00
|
|
|
wmove(m_menu_win, (int)line, (int)win_size.column - 1);
|
2013-03-19 19:32:39 +01:00
|
|
|
wattron(m_menu_win, COLOR_PAIR(menu_bg));
|
2014-03-24 20:36:34 +01:00
|
|
|
waddstr(m_menu_win, is_mark ? "┃" : "│");
|
2013-03-14 19:19:33 +01:00
|
|
|
}
|
2014-04-15 20:19:44 +02:00
|
|
|
m_dirty = true;
|
2013-03-14 19:19:33 +01:00
|
|
|
}
|
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
void NCursesUI::menu_show(memoryview<String> items,
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord anchor, ColorPair fg, ColorPair bg,
|
2013-04-04 13:53:47 +02:00
|
|
|
MenuStyle style)
|
2012-08-30 21:14:28 +02:00
|
|
|
{
|
2013-11-12 19:52:30 +01:00
|
|
|
if (m_menu_win)
|
2013-11-19 20:49:05 +01:00
|
|
|
{
|
|
|
|
wredrawln(stdscr, (int)window_pos(m_menu_win).line,
|
|
|
|
(int)window_size(m_menu_win).line);
|
2013-11-12 19:52:30 +01:00
|
|
|
delwin(m_menu_win);
|
2013-11-19 20:49:05 +01:00
|
|
|
}
|
2013-11-12 19:52:30 +01:00
|
|
|
m_items.clear();
|
2012-11-21 19:01:13 +01:00
|
|
|
|
2013-04-04 13:53:47 +02:00
|
|
|
m_menu_fg = fg;
|
|
|
|
m_menu_bg = bg;
|
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord maxsize = window_size(stdscr);
|
2012-12-15 18:32:56 +01:00
|
|
|
maxsize.column -= anchor.column;
|
2013-05-16 21:44:58 +02:00
|
|
|
if (maxsize.column <= 2)
|
|
|
|
return;
|
2012-11-21 19:01:13 +01:00
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
const int item_count = items.size();
|
|
|
|
m_items.reserve(item_count);
|
2012-08-31 14:14:16 +02:00
|
|
|
CharCount longest = 0;
|
2013-10-17 19:48:12 +02:00
|
|
|
const CharCount maxlen = min((int)maxsize.column-2, 200);
|
|
|
|
for (auto& item : items)
|
2012-08-31 14:14:16 +02:00
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
m_items.push_back(item.substr(0_char, maxlen));
|
|
|
|
longest = max(longest, m_items.back().char_length());
|
2012-08-31 14:14:16 +02:00
|
|
|
}
|
2012-09-11 14:30:32 +02:00
|
|
|
longest += 1;
|
2012-08-31 14:14:16 +02:00
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
const bool is_prompt = style == MenuStyle::Prompt;
|
|
|
|
m_menu_columns = is_prompt ? (int)((maxsize.column - 1) / longest) : 1;
|
2012-08-31 14:14:16 +02:00
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
int height = min(10, div_round_up(item_count, m_menu_columns));
|
2012-09-30 15:18:37 +02:00
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
int line = (int)anchor.line + 1;
|
|
|
|
if (line + height >= (int)maxsize.line)
|
|
|
|
line = (int)anchor.line - height;
|
2013-12-30 23:41:08 +01:00
|
|
|
m_selected_item = item_count;
|
2013-03-14 19:19:33 +01:00
|
|
|
m_menu_top_line = 0;
|
2013-10-17 19:48:12 +02:00
|
|
|
|
|
|
|
int width = is_prompt ? (int)maxsize.column : (int)longest;
|
|
|
|
m_menu_win = (NCursesWin*)newwin(height, width, line, (int)anchor.column);
|
2013-03-14 19:19:33 +01:00
|
|
|
draw_menu();
|
2012-08-30 21:53:22 +02:00
|
|
|
}
|
2012-08-30 21:14:28 +02:00
|
|
|
|
2012-09-24 19:24:27 +02:00
|
|
|
void NCursesUI::menu_select(int selected)
|
2012-08-30 21:53:22 +02:00
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
const int item_count = m_items.size();
|
|
|
|
const LineCount menu_lines = div_round_up(item_count, m_menu_columns);
|
|
|
|
if (selected < 0 or selected >= item_count)
|
2012-08-30 21:14:28 +02:00
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
m_selected_item = -1;
|
2013-03-14 19:19:33 +01:00
|
|
|
m_menu_top_line = 0;
|
2012-08-30 21:14:28 +02:00
|
|
|
}
|
2012-09-05 19:02:06 +02:00
|
|
|
else
|
2013-03-14 19:19:33 +01:00
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
m_selected_item = selected;
|
|
|
|
const LineCount selected_line = m_selected_item / m_menu_columns;
|
|
|
|
const LineCount win_height = window_size(m_menu_win).line;
|
|
|
|
kak_assert(menu_lines >= win_height);
|
2013-03-14 19:19:33 +01:00
|
|
|
if (selected_line < m_menu_top_line)
|
|
|
|
m_menu_top_line = selected_line;
|
2013-10-17 19:48:12 +02:00
|
|
|
if (selected_line >= m_menu_top_line + win_height)
|
|
|
|
m_menu_top_line = min(selected_line, menu_lines - win_height);
|
2013-03-14 19:19:33 +01:00
|
|
|
}
|
|
|
|
draw_menu();
|
2012-09-05 19:02:06 +02:00
|
|
|
}
|
|
|
|
|
2012-09-24 19:24:27 +02:00
|
|
|
void NCursesUI::menu_hide()
|
2012-09-05 19:02:06 +02:00
|
|
|
{
|
2013-03-14 19:19:33 +01:00
|
|
|
if (not m_menu_win)
|
2012-09-05 19:02:06 +02:00
|
|
|
return;
|
2013-10-17 19:48:12 +02:00
|
|
|
m_items.clear();
|
|
|
|
wredrawln(stdscr, (int)window_pos(m_menu_win).line,
|
|
|
|
(int)window_size(m_menu_win).line);
|
2013-03-08 18:42:43 +01:00
|
|
|
delwin(m_menu_win);
|
|
|
|
m_menu_win = nullptr;
|
2014-04-15 20:19:44 +02:00
|
|
|
m_dirty = true;
|
2012-08-30 21:14:28 +02:00
|
|
|
}
|
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
static CharCoord compute_needed_size(StringView str)
|
2012-12-14 19:04:34 +01:00
|
|
|
{
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord res{1,0};
|
2012-12-14 19:04:34 +01:00
|
|
|
CharCount line_len = 0;
|
2013-10-17 19:48:12 +02:00
|
|
|
for (Utf8Iterator begin{str.begin()}, end{str.end()};
|
|
|
|
begin != end; ++begin)
|
2012-12-14 19:04:34 +01:00
|
|
|
{
|
|
|
|
if (*begin == '\n')
|
|
|
|
{
|
2013-02-26 18:53:29 +01:00
|
|
|
// ignore last '\n', no need to show an empty line
|
|
|
|
if (begin+1 == end)
|
|
|
|
break;
|
|
|
|
|
2013-10-17 19:48:12 +02:00
|
|
|
res.column = max(res.column, line_len);
|
2012-12-14 19:04:34 +01:00
|
|
|
line_len = 0;
|
|
|
|
++res.line;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
++line_len;
|
2013-10-17 19:48:12 +02:00
|
|
|
res.column = max(res.column, line_len);
|
2012-12-14 19:04:34 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
static CharCoord compute_pos(CharCoord anchor, CharCoord size,
|
|
|
|
WINDOW* opt_window_to_avoid = nullptr)
|
2012-12-15 18:32:56 +01:00
|
|
|
{
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord scrsize = window_size(stdscr);
|
|
|
|
CharCoord pos = { anchor.line+1, anchor.column };
|
2012-12-15 18:32:56 +01:00
|
|
|
if (pos.line + size.line >= scrsize.line)
|
2013-10-17 19:48:12 +02:00
|
|
|
pos.line = max(0_line, anchor.line - size.line);
|
2013-05-16 22:32:58 +02:00
|
|
|
if (pos.column + size.column >= scrsize.column)
|
2013-10-17 19:48:12 +02:00
|
|
|
pos.column = max(0_char, anchor.column - size.column+1);
|
2012-12-15 19:10:59 +01:00
|
|
|
|
|
|
|
if (opt_window_to_avoid)
|
|
|
|
{
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord winbeg = window_pos(opt_window_to_avoid);
|
|
|
|
CharCoord winend = winbeg + window_size(opt_window_to_avoid);
|
2012-12-15 19:10:59 +01:00
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord end = pos + size;
|
2012-12-15 19:10:59 +01:00
|
|
|
|
|
|
|
// check intersection
|
|
|
|
if (not (end.line < winbeg.line or end.column < winbeg.column or
|
|
|
|
pos.line > winend.line or pos.column > winend.column))
|
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
pos.line = min(winbeg.line, anchor.line) - size.line;
|
2012-12-15 19:10:59 +01:00
|
|
|
// if above does not work, try below
|
|
|
|
if (pos.line < 0)
|
2013-10-17 19:48:12 +02:00
|
|
|
pos.line = max(winend.line, anchor.line);
|
2012-12-15 19:10:59 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-12-15 18:32:56 +01:00
|
|
|
return pos;
|
|
|
|
}
|
|
|
|
|
2014-04-30 20:39:52 +02:00
|
|
|
static std::vector<String> wrap_lines(StringView text, CharCount max_width)
|
2013-10-10 23:51:16 +02:00
|
|
|
{
|
|
|
|
enum CharCategory { Word, Blank, Eol };
|
|
|
|
static const auto categorize = [](Codepoint c) {
|
|
|
|
return is_blank(c) ? Blank
|
|
|
|
: is_eol(c) ? Eol : Word;
|
|
|
|
};
|
|
|
|
|
2014-04-30 20:39:52 +02:00
|
|
|
using Utf8It = utf8::utf8_iterator<const char*>;
|
2013-10-10 23:51:16 +02:00
|
|
|
Utf8It word_begin{text.begin()};
|
|
|
|
Utf8It word_end{word_begin};
|
|
|
|
Utf8It end{text.end()};
|
|
|
|
CharCount col = 0;
|
|
|
|
std::vector<String> lines;
|
|
|
|
String line;
|
|
|
|
while (word_begin != end)
|
|
|
|
{
|
|
|
|
CharCategory cat = categorize(*word_begin);
|
|
|
|
do
|
|
|
|
{
|
|
|
|
++word_end;
|
|
|
|
} while (word_end != end and categorize(*word_end) == cat);
|
|
|
|
|
|
|
|
col += word_end - word_begin;
|
|
|
|
if (col > max_width or *word_begin == '\n')
|
|
|
|
{
|
|
|
|
lines.push_back(std::move(line));
|
|
|
|
line = "";
|
|
|
|
col = 0;
|
|
|
|
}
|
|
|
|
if (*word_begin != '\n')
|
|
|
|
line += String{word_begin.base(), word_end.base()};
|
|
|
|
word_begin = word_end;
|
|
|
|
}
|
|
|
|
if (not line.empty())
|
|
|
|
lines.push_back(std::move(line));
|
|
|
|
return lines;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<bool assist = true>
|
2014-04-30 20:39:52 +02:00
|
|
|
static String make_info_box(StringView title, StringView message,
|
2013-10-10 23:51:16 +02:00
|
|
|
CharCount max_width)
|
|
|
|
{
|
|
|
|
static const std::vector<String> assistant =
|
|
|
|
{ " ╭──╮ ",
|
|
|
|
" │ │ ",
|
|
|
|
" @ @ ╭",
|
|
|
|
" ││ ││ │",
|
|
|
|
" ││ ││ ╯",
|
|
|
|
" │╰─╯│ ",
|
|
|
|
" ╰───╯ ",
|
|
|
|
" " };
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord assistant_size;
|
2013-10-10 23:51:16 +02:00
|
|
|
if (assist)
|
|
|
|
assistant_size = { (int)assistant.size(), assistant[0].char_length() };
|
|
|
|
|
|
|
|
const CharCount max_bubble_width = max_width - assistant_size.column - 6;
|
|
|
|
std::vector<String> lines = wrap_lines(message, max_bubble_width);
|
|
|
|
|
|
|
|
CharCount bubble_width = title.char_length() + 2;
|
|
|
|
for (auto& line : lines)
|
2013-10-17 19:48:12 +02:00
|
|
|
bubble_width = max(bubble_width, line.char_length());
|
2013-10-10 23:51:16 +02:00
|
|
|
|
|
|
|
String result;
|
2013-10-17 19:48:12 +02:00
|
|
|
auto line_count = max(assistant_size.line-1,
|
|
|
|
LineCount{(int)lines.size()} + 2);
|
|
|
|
for (LineCount i = 0; i < line_count; ++i)
|
2013-10-10 23:51:16 +02:00
|
|
|
{
|
|
|
|
constexpr Codepoint dash{L'─'};
|
|
|
|
if (assist)
|
2013-10-17 19:48:12 +02:00
|
|
|
result += assistant[min((int)i, (int)assistant_size.line-1)];
|
2013-10-10 23:51:16 +02:00
|
|
|
if (i == 0)
|
|
|
|
{
|
|
|
|
if (title.empty())
|
2013-10-17 19:48:12 +02:00
|
|
|
result += "╭─" + String{dash, bubble_width} + "─╮";
|
2013-10-10 23:51:16 +02:00
|
|
|
else
|
|
|
|
{
|
2013-10-17 19:48:12 +02:00
|
|
|
auto dash_count = bubble_width - title.char_length() - 2;
|
|
|
|
String left{dash, dash_count / 2};
|
|
|
|
String right{dash, dash_count - dash_count / 2};
|
|
|
|
result += "╭─" + left + "┤" + title +"├" + right +"─╮";
|
2013-10-10 23:51:16 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (i < lines.size() + 1)
|
|
|
|
{
|
|
|
|
auto& line = lines[(int)i - 1];
|
2013-10-17 19:48:12 +02:00
|
|
|
const CharCount padding = bubble_width - line.char_length();
|
|
|
|
result += "│ " + line + String{' ', padding} + " │";
|
2013-10-10 23:51:16 +02:00
|
|
|
}
|
|
|
|
else if (i == lines.size() + 1)
|
|
|
|
result += "╰─" + String(dash, bubble_width) + "─╯";
|
|
|
|
|
|
|
|
result += "\n";
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2014-04-30 20:39:52 +02:00
|
|
|
void NCursesUI::info_show(StringView title, StringView content,
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord anchor, ColorPair colors,
|
2013-10-10 23:51:16 +02:00
|
|
|
MenuStyle style)
|
2012-12-14 19:04:34 +01:00
|
|
|
{
|
2013-11-19 20:50:54 +01:00
|
|
|
if (m_info_win)
|
|
|
|
{
|
|
|
|
wredrawln(stdscr, (int)window_pos(m_info_win).line,
|
|
|
|
(int)window_size(m_info_win).line);
|
|
|
|
delwin(m_info_win);
|
|
|
|
}
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2014-04-30 20:39:52 +02:00
|
|
|
StringView info_box = content;
|
|
|
|
String fancy_info_box;
|
|
|
|
if (style == MenuStyle::Prompt)
|
|
|
|
{
|
|
|
|
fancy_info_box = make_info_box(title, content, m_dimensions.column);
|
|
|
|
info_box = fancy_info_box;
|
|
|
|
}
|
2013-10-10 23:51:16 +02:00
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord size = compute_needed_size(info_box);
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord pos = compute_pos(anchor, size, m_menu_win);
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2013-04-12 01:28:22 +02:00
|
|
|
m_info_win = (NCursesWin*)newwin((int)size.line, (int)size.column,
|
|
|
|
(int)pos.line, (int)pos.column);
|
2012-12-14 19:04:34 +01:00
|
|
|
|
2013-04-04 14:03:40 +02:00
|
|
|
wbkgd(m_info_win, COLOR_PAIR(get_color_pair(colors)));
|
2013-05-16 21:46:15 +02:00
|
|
|
int line = 0;
|
2013-10-10 23:51:16 +02:00
|
|
|
auto it = info_box.begin(), end = info_box.end();
|
2013-05-16 21:46:15 +02:00
|
|
|
while (true)
|
|
|
|
{
|
|
|
|
wmove(m_info_win, line++, 0);
|
|
|
|
auto eol = std::find_if(it, end, [](char c) { return c == '\n'; });
|
|
|
|
addutf8str(m_info_win, Utf8Iterator(it), Utf8Iterator(eol));
|
|
|
|
if (eol == end)
|
|
|
|
break;
|
|
|
|
it = eol + 1;
|
|
|
|
}
|
2014-04-15 20:19:44 +02:00
|
|
|
m_dirty = true;
|
2012-12-14 19:04:34 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void NCursesUI::info_hide()
|
|
|
|
{
|
|
|
|
if (not m_info_win)
|
|
|
|
return;
|
2013-10-17 19:48:12 +02:00
|
|
|
wredrawln(stdscr, (int)window_pos(m_info_win).line,
|
|
|
|
(int)window_size(m_info_win).line);
|
2012-12-14 19:04:34 +01:00
|
|
|
delwin(m_info_win);
|
|
|
|
m_info_win = nullptr;
|
2014-04-15 20:19:44 +02:00
|
|
|
m_dirty = true;
|
2012-12-14 19:04:34 +01:00
|
|
|
}
|
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord NCursesUI::dimensions()
|
2012-10-20 20:15:20 +02:00
|
|
|
{
|
2012-10-27 14:18:52 +02:00
|
|
|
return m_dimensions;
|
2012-10-20 20:15:20 +02:00
|
|
|
}
|
|
|
|
|
2013-01-11 19:17:21 +01:00
|
|
|
void NCursesUI::set_input_callback(InputCallback callback)
|
|
|
|
{
|
|
|
|
m_input_callback = std::move(callback);
|
|
|
|
}
|
|
|
|
|
2013-04-12 01:28:22 +02:00
|
|
|
void NCursesUI::abort()
|
|
|
|
{
|
|
|
|
endwin();
|
|
|
|
}
|
|
|
|
|
2012-02-16 15:25:16 +01:00
|
|
|
}
|