rjkroege
Follow
Pinned
107 contributions in the last year
Contribution activity
March 2023
Created 4 commits in 1 repository
Created a pull request in rjkroege/edwood that received 2 comments
Don't backspace if there's a selection
Fix a persistent niggle in the UI: pressing backspace when there's a non-zero selection, merely delete the selection and don't delete the additiona…
+8
−0
•
2
comments
Opened 5 other pull requests in 1 repository
rjkroege/edwood
4
merged
1
closed
Created an issue in rjkroege/edwood that received 1 comment
fix the CI waiting
I had thought that I'd fixed the GitHub actions to do the right thing. But the expectations for checkin remain yellow waiting for tests that are ne…
1
comment