r5sdk/r5dev/thirdparty
Kawe Mazidjatari 56b73af57d ImGui: add multiple fixes and improvements
Add some selection improvements from maintained version at https://github.com/santaclose/ImGuiColorTextEdit.

patch contains:
* advance cursor to end of selection
* add shift + mouse select
2024-04-05 18:19:40 +02:00
..
2023-07-31 23:26:34 +02:00
2024-04-05 16:21:45 +02:00
2024-04-05 16:41:09 +02:00
2024-04-05 16:21:44 +02:00
2024-04-05 17:58:51 +02:00
2023-07-03 00:25:15 +02:00
2023-09-09 14:50:11 +02:00
2023-09-17 22:06:15 +02:00
2024-04-05 17:56:50 +02:00