export private key of wallet

[p-m]

I’ve a single key wallet in the TUI.
It would be nice to be able to export the private key, so that it would be possible to import it to dashcore.
TIA for your help, Peter

[p-m]

One more detail: I’ve added the key with "w - Wallet" and then "r - Setup brand new random wallet".

Is there perhaps a place in the code somewhere, where I can just add something like "print(key)" or "save-key-to-file(key, file)"?
Then I would just need to make a small transaction with the wallet and I would get the key.

TIA for any help, Peter