On Thursday, September 5, 2019 at 9:12:51 AM UTC-5, Edward K. Ream wrote: Apparently a merge wasn't innocuous. I'll see what I can do. >
Indeed not. Somehow merging devel into settings was highly toxic. Two revs in the settings branch restored the proper versions of class ActiveSettingsOutline and c.config.getSource. Here are the checkin logs: *Rev 597996106:* Restored the proper version of the ActiveSettingsOutline class that somehow got reverted during a "routine" merge. Restored by copying the class from rev f990eb0c277c5 and pasting it into the tip. Naturally, this changes gnx. Note that Leo crashed trying to cut the old class, so something seriously wrong happened. *Rev 18887a56b:* Restored c.config.getSource. So weird *Summary* All seems well again. In particular, merging devel into settings is once again a do-nothing. The next step, in the settings branch, will be to complete c.config.settingIsActiveInPath. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/a22407a8-3edb-42c0-a73e-f3a2dbe0a15c%40googlegroups.com.
