Keyboard manager: store in the new configuration the resource ID string rather than its integer value ( the integer value may change between runs )