Michael Ragazzon
|
bcc1ac4f2a
Implement EventId and associated EventSpecification
|
6 years ago |
Michael Ragazzon
|
246e1ecc78
WIP: Specify bubbling and default actions on dispatching events
|
6 years ago |
Michael Ragazzon
|
6078956945
Clean up
|
6 years ago |
Michael Ragazzon
|
390b6e07ba
Replacing GetLocalProperty
|
6 years ago |
Michael Ragazzon
|
edc78bb958
More of the same
|
6 years ago |
Michael Ragazzon
|
122bd097bb
Replace many SetProperty(String, String) with SetProperty(String, Property)
|
6 years ago |
Michael Ragazzon
|
654fa0907c
Small optimizations
|
6 years ago |
Michael Ragazzon
|
f3b9ad29f0
Reverting to commit 9c42c7b. The strings to ID changes were too complicated compared to the performance gained.
|
6 years ago |
Michael Ragazzon
|
1ead58341e
WIP: Replacing strings with IDs now compiling and running (puh). Producing... interesting results.
|
6 years ago |
Michael Ragazzon
|
60682a09a3
Replace, don't emplace...
|
6 years ago |
Michael Ragazzon
|
b04b4e58ba
Replace Dictionary with unordered_flat_map
|
6 years ago |
Michael Ragazzon
|
8c7ec24149
Avoid duplicate events in Controls::WidgetSlider, resulting in double increment when pressing arrow buttons
|
6 years ago |
Michael
|
5db7d68e7e
Use double for absolute time
|
7 years ago |
Michael
|
de1155d946
Fix memory corruption in widgetslider
|
8 years ago |
Michael
|
54363ee773
Drags on the whole range element, except arrow buttons
|
8 years ago |
Michael
|
2a5a48f45e
Make slider dragable on drag trackbar
|
8 years ago |
David Wimsey
|
4e1786a833
Updated source files and private headers to use relative paths to public headers. This prevents the compiler from pulling in an installed copy of libRocket headers rather than the source copy of the headers if libRocket happens to be installed on the system already.
|
11 years ago |
Victor Luchitz
|
d2cc5e12df
Fix some issues discovered with cppcheck
|
13 years ago |
Frank Becker
|
b3f94f3752
For dropdown and sliders:
|
14 years ago |
Lloyd Weehuizen
|
0199dd021e
libRocket 1.2 beta, initial import
|
15 years ago |