how does getproperty("mineLayout6") work?

It is get_property() which may explain the lack of answers.

It is documented at http://wiki.kolmafia.us/index.php?title=Get_property and as you can read, it references data contained in preferences files. Under normal circumstances KoLmafia caches the preferences in memory so getting a preference is merely reading a memory location. Setting one usually triggers disk I/O. I say "usually" because I have not looked at the code recently and in the Ancient Past there was code that delayed/cached writes that was not as reliable as it needed to be.

If your definition of efficient is minimum number of web page access then get_property is more efficent than your suggested alternatives.
 
Back
Top