Michael Ragazzon
|
a9657acee7
Math cleanup, rename and remove some functions
|
2 years ago |
Michael Ragazzon
|
7492876298
The great formattening - format all library source code and documents
|
2 years ago |
Michael Ragazzon
|
21a0ec2acc
Merge branch 'develop'
|
2 years ago |
Dominik Thalhammer
|
801b23945d
On-demand rendering (power saving mode) (#436)
|
2 years ago |
Michael Ragazzon
|
ce4d519890
Input element: Fix old properties and event listeners affecting the new type when changing types
|
2 years ago |
Michael Ragazzon
|
33851f599d
Merge branch 'input_selection_range'
|
2 years ago |
Michael Ragazzon
|
8f120d9612
Add GetSelection to textarea and input elements, see #419
|
2 years ago |
Michael Ragazzon
|
c7bc2be60a
Text input: Don't move to cursor on mousedown, only while dragging
|
2 years ago |
Michael Ragazzon
|
89e42b3efd
Add selection API to text input elements: ElementFormControlInput and ElementFormControlTextArea, see #419
|
2 years ago |
Michael Ragazzon
|
0609669d66
Fix max length in text input fields not always clamping the value, such as when pasting text
|
2 years ago |
Michael Ragazzon
|
15deedb432
Fix content height of text input fields
|
2 years ago |
Michael Ragazzon
|
4742dda07d
Improve and refactor layout engine, better conformance to CSS specification
|
3 years ago |
Michael Ragazzon
|
ed9c68966a
Remove default on switch with all enum values covered
|
3 years ago |
Michael Ragazzon
|
9e84c9039d
Text widget: Don't show horizontal scrollbar when word wrapping is enabled
|
3 years ago |
Michael Ragazzon
|
e97af1c077
Text widget: Fix text not being formatted in some cases
|
3 years ago |
Michael Ragazzon
|
05ed213640
Text widget: Move cursor when changing value
|
3 years ago |
Michael Ragazzon
|
1566efda8d
Text widget: Reduce unnecessary formatting
|
3 years ago |
Michael Ragazzon
|
bcebcd3557
Text widget formatting: Early exit when zero-sized.
|
3 years ago |
Michael Ragazzon
|
f380f3dca7
Text transform is turned off for text widgets, they are not compatible
|
3 years ago |
Michael Ragazzon
|
bae6245930
Text widget formatting early exit when scrollbars need to be enabled
|
3 years ago |
Michael Ragazzon
|
f054057d65
Layout change does not always require text widget formatting, be more restrictive for perfomance reasons
|
3 years ago |
Michael Ragazzon
|
db6fafd530
Avoid unnecessary calls to the text widget formatting procedure
|
3 years ago |
Michael Ragazzon
|
6af110796d
Fix text widget editing after cut operation
|
3 years ago |
Michael Ragazzon
|
89a357bda4
Set IME position to the caret during text editing on the Windows backend. #303 #305
|
3 years ago |
Michael Ragazzon
|
c7dc482b87
Text widget: Don't update ideal cursor position during vertical movement even when moving to text start and end
|
3 years ago |
Michael Ragazzon
|
86c227e900
Text widget: Fix horizontal cursor movement around endlines
|
3 years ago |
Michael Ragazzon
|
68b3f9730b
Text widget: Clamp cursor index to a valid range
|
3 years ago |
Michael Ragazzon
|
fde27b5d2e
Text widget: Fix swapped page up/down numpad keys
|
3 years ago |
Michael Ragazzon
|
0e8cd54086
Text widget: Update blank space formatting
|
3 years ago |
Michael Ragazzon
|
6ebb4e1607
Additional text widget refactoring:
|
3 years ago |