ololoev wrote:A friend of mine wants his character tile to be changed while he levels up.
I just don't know what function is called when you level up. And whether tile_player_tile works without save&restarting or not.
Where can I see all crawl functions that I can use?
It's not a default function in crawl, it's a lua script by Gammafunk:
https://github.com/gammafunk/dcss-rc(crawl does have the option to change the player tile, but it's the script which can automatically change it over time)
To use it with the default settings (which changes tiles every 100 turns as well as on levelup), you can just add
include += RandomTiles.rc
to your rc file. Note that this should only work on the CAO and CBRO servers.
Otherwise you can just copy the contents of the randomtiles.rc on that github.