Abhishek Raturi
e63cf3b94a
HackStudio: Highlight all the occurances of selected text in editor
...
This feature is similar(somewhat) to the Clion's highlight all
occurances of word under caret. This is not perfect implementation
since there is a issue with resetting the `spans` `attributes` such as
`color`, `background_color`
HackStudio: Reset spans upon mousedown_event after double clicking
Reset the spans upon mousedown_event after double clicking the text
(to highlight all occurrances). Avoid highlighting if whitespace is
selected
2023-08-20 19:13:37 +01:00
..
2023-08-11 21:33:48 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-05-23 12:35:42 +02:00
2023-08-06 20:39:51 +02:00
2023-06-14 17:53:59 +02:00
2023-05-23 12:35:42 +02:00
2023-08-06 20:39:51 +02:00
2023-08-18 10:43:37 +01:00
2023-08-06 20:39:51 +02:00
2023-08-06 20:39:51 +02:00
2023-08-06 20:39:51 +02:00
2023-08-07 16:03:27 +02:00
2023-08-18 10:43:37 +01:00
2023-05-23 12:35:42 +02:00
2023-08-14 20:45:35 +02:00
2023-08-07 13:14:58 -06:00
2023-05-23 12:35:42 +02:00
2023-06-15 08:07:17 +02:00
2023-05-08 21:06:13 -06:00
2023-08-11 21:33:48 +02:00
2023-07-24 11:30:54 +03:30
2023-05-23 05:59:49 +02:00
2023-08-14 14:57:54 +02:00
2023-07-24 11:30:54 +03:30
2023-05-23 12:35:42 +02:00
2023-05-23 12:35:42 +02:00
2023-08-06 20:39:51 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-07-08 10:32:56 +01:00
2023-05-15 12:15:39 +02:00
2023-08-06 20:39:51 +02:00
2023-08-06 20:39:51 +02:00
2023-08-06 20:39:51 +02:00
2023-07-08 10:32:56 +01:00
2023-08-18 10:43:37 +01:00
2023-04-30 05:49:46 +02:00
2023-07-18 14:34:35 +01:00
2023-08-08 07:37:21 +02:00
2023-08-08 07:37:21 +02:00
2023-08-08 07:37:21 +02:00
2023-06-14 17:53:59 +02:00
2023-08-15 18:36:11 +01:00
2023-06-14 17:53:59 +02:00
2023-07-08 10:32:56 +01:00
2023-05-23 05:59:49 +02:00
2023-08-06 18:09:25 +02:00
2023-05-07 21:12:35 +02:00
2023-04-30 05:49:46 +02:00
2023-05-13 12:53:49 +02:00
2023-05-13 12:53:49 +02:00
2023-05-15 14:15:53 +02:00
2023-06-14 17:53:59 +02:00
2023-05-23 12:35:42 +02:00
2023-05-05 15:20:44 +01:00
2023-08-08 07:37:21 +02:00
2023-08-14 14:57:54 +02:00
2023-08-08 07:37:21 +02:00
2023-05-03 21:39:09 +01:00
2023-06-14 17:53:59 +02:00
2023-04-30 05:49:46 +02:00
2023-04-30 05:48:14 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-08-18 10:43:37 +01:00
2023-04-30 05:48:14 +02:00
2023-08-11 21:33:48 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-05-24 23:18:07 +02:00
2023-06-14 17:53:59 +02:00
2023-04-30 05:49:46 +02:00
2023-05-23 05:59:49 +02:00
2023-08-06 20:39:51 +02:00
2023-08-06 20:39:51 +02:00
2023-08-06 20:39:51 +02:00
2023-05-23 12:35:42 +02:00
2023-04-30 05:48:14 +02:00
2023-04-30 05:48:14 +02:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00
2023-08-08 07:37:21 +02:00
2023-08-06 18:09:25 +02:00
2023-08-06 18:09:25 +02:00
2023-05-23 12:35:42 +02:00
2023-08-04 12:11:13 +02:00
2023-08-04 12:11:13 +02:00
2023-07-14 06:52:38 +02:00
2023-08-08 07:37:21 +02:00
2023-06-14 17:53:59 +02:00
2023-08-06 20:39:51 +02:00
2023-05-23 12:35:42 +02:00
2023-05-23 12:35:42 +02:00
2023-08-14 14:57:54 +02:00
2023-04-30 05:49:46 +02:00
2023-06-14 17:53:59 +02:00
2023-06-14 17:53:59 +02:00
2023-05-13 12:53:49 +02:00
2023-05-13 12:53:49 +02:00
2023-08-13 05:12:00 +02:00
2023-08-13 05:12:00 +02:00
2023-06-15 13:53:22 +01:00
2023-06-15 13:53:22 +01:00
2023-05-23 12:35:42 +02:00
2023-05-28 21:12:19 +02:00
2023-07-08 10:32:56 +01:00
2023-08-13 15:03:53 -06:00
2023-07-26 14:18:20 -04:00
2023-07-26 14:18:20 -04:00
2023-08-20 19:13:37 +01:00
2023-08-20 19:13:37 +01:00
2023-08-18 10:43:37 +01:00
2023-08-15 15:56:34 +02:00
2023-05-23 12:35:42 +02:00
2023-05-23 12:35:42 +02:00
2023-08-06 20:39:51 +02:00
2023-08-11 21:33:48 +02:00
2023-05-24 23:18:07 +02:00
2023-05-24 23:18:07 +02:00
2023-05-23 12:35:42 +02:00
2023-05-07 01:05:09 +02:00
2023-07-14 06:52:38 +02:00
2023-08-06 20:39:51 +02:00
2023-08-18 10:43:37 +01:00
2023-08-18 10:43:37 +01:00
2023-08-14 14:57:54 +02:00
2023-08-14 14:57:54 +02:00