|
|
2c03ada393
|
Hid unneded scrollbars
|
2023-11-14 08:29:46 +01:00 |
|
|
|
765d4b0521
|
Reverted change in CodeEditor
|
2023-11-09 12:49:09 +01:00 |
|
|
|
3ff828c8cd
|
Fixed out-of-screen tooltips
|
2023-11-09 09:15:08 +01:00 |
|
|
|
99ea6367e8
|
Stylized new editor (#238)
Co-authored-by: Adam Bem <adam.bem@zoho.eu>
Reviewed-on: #238
Reviewed-by: Mikolaj Widla <widlam@noreply.example.com>
|
2023-06-30 11:56:01 +02:00 |
|
|
|
dcf3d3c43c
|
Implemented proper editors (#236)
Co-authored-by: widlam <mikolaj.widla@gmail.com>
Reviewed-on: #236
Reviewed-by: Adam Bem <bema@noreply.example.com>
Co-authored-by: Mikolaj Widla <widlam@noreply.example.com>
Co-committed-by: Mikolaj Widla <widlam@noreply.example.com>
|
2023-06-29 10:42:39 +02:00 |
|
