Fixes for filename parameters #369

Merged
jwharm merged 1 commit from filenames-fixes into main 2026-05-25 18:01:51 +02:00
Owner
  • Add method override for Filename[] array parameters
  • Annotate the parameters in the overrided method as nullable
  • Ensure GApplication.run(args) still takes a String[] parameter
- Add method override for Filename[] array parameters - Annotate the parameters in the overrided method as nullable - Ensure GApplication.run(args) still takes a String[] parameter
- Add method override for Filename[] array parameters
- Annotate the parameters in the overrided method as nullable
jwharm merged commit 3ff6b154bb into main 2026-05-25 18:01:51 +02:00
jwharm deleted branch filenames-fixes 2026-05-25 18:01:52 +02:00
Sign in to join this conversation.
No description provided.