I am very happy that tool options will finally save across sessions. However I still face the slight annoyance of having to reset my eraser tip every time I open a new instance of Krita. This is because when I open Krita, my brush preset will be reloaded as I was using it during the last session. However when I switch to using the eraser side of the stylus, it will not use the brush I had configured last time, but it will be changed to use the brush preset from the nib end of the stylus.

For example, if I had set the nib end to use ink_ballpen, and I set the eraser end to use eraser_circle, then after I close and re-open Krita, both the nib and the eraser will be set to use ink_ballpen.

I am using git 2669565 on a Microsoft Surface Pro 2.