Remove drop jump (c-d)

This commit is contained in:
Maxime Coste 2015-12-23 02:47:32 +00:00
parent 1288a1d385
commit 669fccc5e9
3 changed files with 0 additions and 15 deletions

View File

@ -93,13 +93,6 @@ void JumpList::push(SelectionList jump)
m_current = m_jumps.size(); m_current = m_jumps.size();
} }
void JumpList::drop()
{
if (not m_jumps.empty())
m_jumps.pop_back();
m_current = m_jumps.size();
}
const SelectionList& JumpList::forward() const SelectionList& JumpList::forward()
{ {
if (m_current != m_jumps.size() and if (m_current != m_jumps.size() and

View File

@ -53,7 +53,6 @@ private:
struct JumpList struct JumpList
{ {
void push(SelectionList jump); void push(SelectionList jump);
void drop();
const SelectionList& forward(); const SelectionList& forward();
const SelectionList& backward(const SelectionList& current); const SelectionList& backward(const SelectionList& current);
void forget_buffer(Buffer& buffer); void forget_buffer(Buffer& buffer);

View File

@ -1152,12 +1152,6 @@ void push_selections(Context& context, NormalParams)
get_face("Information") }); get_face("Information") });
} }
void drop_jump(Context& context, NormalParams)
{
context.jump_list().drop();
context.print_status({ "dropped last jump", get_face("Information") });
}
void align(Context& context, NormalParams) void align(Context& context, NormalParams)
{ {
auto& selections = context.selections(); auto& selections = context.selections();
@ -1652,7 +1646,6 @@ static NormalCmdDesc cmds[] =
{ ctrl('i'), "jump forward in jump list",jump<Forward> }, { ctrl('i'), "jump forward in jump list",jump<Forward> },
{ ctrl('o'), "jump backward in jump list", jump<Backward> }, { ctrl('o'), "jump backward in jump list", jump<Backward> },
{ ctrl('s'), "push current selections in jump list", push_selections }, { ctrl('s'), "push current selections in jump list", push_selections },
{ ctrl('d'), "drop last jump from jump list", drop_jump },
{ '\'', "rotate main selection", rotate_selections }, { '\'', "rotate main selection", rotate_selections },
{ alt('\''), "rotate selections content", rotate_selections_content }, { alt('\''), "rotate selections content", rotate_selections_content },