native_dialog.km 716 B

1234567891011121314151617181920
  1. export function dialog-open:
  2. & { parent: Optional[Widget], title: String, cwd: os::Path, filter: String }
  3. => Async[Maybe[os::Path]]
  4. native 'qt-dialog-open';
  5. export function dialog-open-multiple:
  6. & { parent: Optional[Widget], title: String, cwd: os::Path, filter: String }
  7. => Async[List[os::Path]]
  8. native 'qt-dialog-open-multiple';
  9. export function dialog-open-directory:
  10. & { parent: Optional[Widget], title: String, cwd: os::Path }
  11. => Async[Maybe[os::Path]]
  12. native 'qt-dialog-open-directory';
  13. export function dialog-save:
  14. & { parent: Optional[Widget], title: String, cwd: os::Path, filter: String }
  15. => Async[Maybe[os::Path]]
  16. native 'qt-dialog-save';