Gabriel Simões

Results 11 comments of Gabriel Simões

Sure. But I found a strange strange behaviour related to moving when the cursor is at a space before or after a word. Do you prefer the program to consider...

Alright, but when dragging left or right with the cursor at the space, it should move the word at the left or the word at the right? In the following...

Sure, the current behaviour is to move the word at the left if dragging left, and the word at the right if moving right. The whole point is the cursor...

Alright, this PR "solves" the offset when dragging left, but only when in the middle of the word. At the space and at the first letter of a word, the...

Looks like my solution doesn't work for emacs 41.1. I'll try look into this later.

Sorry 😅 Yes, it fails for emacs 24.1

Great guidelines. What about how codes in both languages should be displayed? Should they be hidden in "spoilers" or such things? Should we place codes inside "spoilers" even when there...

I believe after the translation has progressed further we could all rate the problems based on different criteria, and also eliminate duplicates (problems that have very similar ideas), thus providing...

I save my changes so often that sometimes I save while still working on a line.

This is fixed in 2.16.0 as it uses checkerframework 3.24.0.