set_property() obeys isUserEditable

by veracity0 on 2019-01-12 15:07:29

M /src/net/sourceforge/kolmafia/textui/RuntimeLibrary.java (view) (diff)