pull_requests_fts: 153306882
This data as json
| rowid | title | body |
|---|---|---|
| 153306882 | Add keyboard shortcut to execute SQL query | Very cool tool, thanks a lot! This PR adds a `Shift-Enter` short cut to execute the SQL query. I used CodeMirrors keyboard handling. |
This data as json
| rowid | title | body |
|---|---|---|
| 153306882 | Add keyboard shortcut to execute SQL query | Very cool tool, thanks a lot! This PR adds a `Shift-Enter` short cut to execute the SQL query. I used CodeMirrors keyboard handling. |