 Michael Ragazzon
|
50df749045
Debugger menu: Highlight open debug windows
|
преди 1 месец |
|
Michael Ragazzon
|
6cb6ef9879
Debugger: Add data model viewer, see #865
|
преди 1 месец |
|
Michael Ragazzon
|
b197f985b3
Prevent gaps when rendering fractionally sized elements, resolves #438
|
преди 1 година |
|
Michael Ragazzon
|
894b72cf1c
Change shutdown order when detecting external destruction of debugger documents
|
преди 1 година |
|
Michael Ragazzon
|
263328ab5d
Allow documents to set themselves as focusable from modal documents, use in debugger to solve #642
|
преди 1 година |
|
Michael Ragazzon
|
c84ed5de78
Log an error message when externally closing a document owned by the debugger plugin
|
преди 1 година |
|
Michael Ragazzon
|
20d9cc7db6
Use span type in `LoadFontFace` and related font engine functions
|
преди 1 година |
|
Michael Ragazzon
|
ce949d2d5b
Refactor Property units and Box enums, and introduce NumericValue [breaking change]
|
преди 2 години |
|
Michael Ragazzon
|
7492876298
The great formattening - format all library source code and documents
|
преди 2 години |
|
Michael Ragazzon
|
85045314ff
Fix debugger plugin not cleaning up all event listeners
|
преди 2 години |
|
Michael Ragazzon
|
a9f016b5e0
Debugger: Update hovered element when moving the mouse to an ancestor element
|
преди 3 години |
 John
|
961747e056
Debugger plugin: Clean up event listeners before the plugin is deleted to avoid use-after-free, fixes #322. (#323)
|
преди 3 години |
|
Michael Ragazzon
|
37b0728387
Minor Box optimizations
|
преди 3 години |
|
Michael Ragazzon
|
c46df8aad3
Release RmlUi 4.0
|
преди 4 години |
 Maximilian Stark
|
dd99820ecd
Media queries (#169)
|
преди 5 години |
|
Michael Ragazzon
|
a638aaf33e
Remove 'offset' from Box.
|
преди 5 години |
 Rokas Kupstys
|
c261c1ff81
Add ability for user to override container types.
|
преди 5 години |
|
Michael Ragazzon
|
e9844e3801
The big restructuring for RmlUi 4.0. This involves breaking changes but should benefit everyone using the library in the future.
|
преди 5 години |
