Skip to content

Cursor delete receiver#125

Merged
byundojin merged 3 commits intodevelopfrom
cursor-delete-receiver
Sep 17, 2025
Merged

Cursor delete receiver#125
byundojin merged 3 commits intodevelopfrom
cursor-delete-receiver

Conversation

@byundojin byundojin requested a review from onee-only August 12, 2025 13:15
Copy link
Contributor

@onee-only onee-only left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

docs는 제가 지우고 새로 커밋 만들테니 fetch 후 hard-reset 하시면 될 겁니다. 적용 이후 리뷰 반영해주세요.

from event.message import Message


class DeleteCursorReceiver:
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
class DeleteCursorReceiver:
class CursorDeletedReceiver:

현재 이름은 커서 지우는 리시버처럼 되어 있는데, 실제 동작 내용은 커서 삭제에 대한 후처리 로직이기 때문에 더 좋은 이름이 필요합니다. suggestion은 그냥 예시입니다.

Co-authored-by: 김강현 <kkh061101@naver.com>
Co-authored-by: OH YEONG KI(오영기) <dh1303@users.noreply.github.com>
@onee-only onee-only force-pushed the cursor-delete-receiver branch from 308c320 to d96db7f Compare August 14, 2025 12:04
@byundojin byundojin merged commit ef132de into develop Sep 17, 2025
1 check failed
@byundojin byundojin deleted the cursor-delete-receiver branch September 17, 2025 12:25
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