Merge remote-tracking branch 'ekie/move_buffer_end'

This commit is contained in:
Maxime Coste 2017-02-03 13:49:33 +00:00
commit f500af9023

View File

@ -819,6 +819,11 @@ int main(int argc, char* argv[])
{
if (not name.empty() and name[0_byte] == '+')
{
if (name == "+" or name == "+:")
{
init_cmds = init_cmds + "; exec gj";
continue;
}
auto colon = find(name, ':');
if (auto line = str_to_int_ifp({name.begin()+1, colon}))
{