|
|
|
@ -879,7 +879,7 @@ void Window::rename_token_entry() { |
|
|
|
if(notebook.get_current_page()!=-1) { |
|
|
|
if(notebook.get_current_page()!=-1) { |
|
|
|
if(notebook.get_current_view()->get_token) { |
|
|
|
if(notebook.get_current_view()->get_token) { |
|
|
|
auto token=std::make_shared<Source::Token>(notebook.get_current_view()->get_token()); |
|
|
|
auto token=std::make_shared<Source::Token>(notebook.get_current_view()->get_token()); |
|
|
|
if(token) { |
|
|
|
if(*token) { |
|
|
|
entry_box.labels.emplace_back(); |
|
|
|
entry_box.labels.emplace_back(); |
|
|
|
auto label_it=entry_box.labels.begin(); |
|
|
|
auto label_it=entry_box.labels.begin(); |
|
|
|
label_it->update=[label_it](int state, const std::string& message){ |
|
|
|
label_it->update=[label_it](int state, const std::string& message){ |
|
|
|
|