Found that you can also change ringtones, notifications, and alarms by long pressing on the sound file in Solid Explorer (available in playstore) , press the 3 bars in the top right corner of the pop-up that appears, and select where you want the sound applied to.
Works fine for Redmi Pro...