improve UI for changing the "Max. memory" profile setting (closes #153)