kobewi
|
747a966211
|
Change EditorQuickOpen base_type to String
|
2022-11-15 15:12:42 +01:00 |
Rémi Verschelde
|
7817a472f3
|
QuickOpen: Disable loading resources for now, too slow
As expected while reviewing #62417 this is indeed not practical
without a better system to retrieve this information.
Fixes #66179.
|
2022-09-21 17:02:43 +02:00 |
willnationsdev
|
cc5a736c0b
|
Enable QuickOpen to see scripted resources.
|
2022-09-17 20:35:58 -05:00 |
|
Rémi Verschelde
|
90019676b0
|
Code quality: Fix header guards consistency
Adds `header_guards.sh` bash script, used in CI to validate future
changes. Can be run locally to fix invalid header guards.
|
2022-07-25 11:17:40 +02:00 |