Commit 40af3e04 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Fix Copy paste issue when selecting multiple symbols

parent 4daf26dd
...@@ -82,7 +82,9 @@ def copy_branch(top_level_item): ...@@ -82,7 +82,9 @@ def copy_branch(top_level_item):
if not isinstance(top_level_item, genericSymbols.HorizontalSymbol): if not isinstance(top_level_item, genericSymbols.HorizontalSymbol):
next_aligned = top_level_item.next_aligned_symbol() next_aligned = top_level_item.next_aligned_symbol()
while next_aligned and next_aligned.grabber.isSelected(): while next_aligned and next_aligned.grabber.isSelected():
next_ast, next_terminators = next_aligned.get_ast() pr_text = '\n'.join(Pr.generate(next_aligned, cpy=True,
nextstate=False, recursive=True))
next_ast, next_terminators = next_aligned.get_ast(pr_text)
terminators.extend(next_terminators) terminators.extend(next_terminators)
branch.append(next_ast) branch.append(next_ast)
next_aligned = next_aligned.next_aligned_symbol() next_aligned = next_aligned.next_aligned_symbol()
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment