Skip to content

Conversation

@tokuhirom
Copy link
Collaborator

exted_clause_right のときに current_state.clear_state() を呼ぶのは誤り。
self.force_selected_clause と self.current_clause はクリアしてはいけない。 self.node_selected はクリアする必要があるが、これは set_clause
のタイミングで自動的に消されるべきなので、一緒に消えるようにした。

exted_clause_right のときに current_state.clear_state()
を呼ぶのは誤り。
self.force_selected_clause と self.current_clause はクリアしてはいけない。
self.node_selected はクリアする必要があるが、これは set_clause
のタイミングで自動的に消されるべきなので、一緒に消えるようにした。
@tokuhirom tokuhirom merged commit 6446614 into master Jan 23, 2023
@tokuhirom tokuhirom deleted the fix-extend-clauses branch January 23, 2023 04:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants