Re: [Factor-talk] Table Heading

2017-06-19 Thread John Benediktsson
I believe column headers are only added automatically for tables that are in a ``ui.gadgets.scrollers:scroller``. You can see in where the code calls ``viewport-column-header``. Without seeing your code, I'm not sure why (aside from "being contained by a border not a scroller") the column he

Re: [Factor-talk] Table Heading

2017-06-19 Thread Alexander Ilin
Hello again! For some reason, the column headers appeared when I removed { 3 3 } from the table. I don't understand what the interaction here is. If someone could share an insight, I'd appreciate it. Thanks! 19.06.2017, 20:14, "Alexander Ilin" : > Hello! > >   I'm looking at the Inspecto

[Factor-talk] Table Heading

2017-06-19 Thread Alexander Ilin
Hello! I'm looking at the Inspector code in `ui.tools.inspector`, and I can't see how it adds the heading to the Contents table. I'm making a table, and I want it to have column headings, much like the Inspector has for "Key" and "Value". I have overridden the `column-titles` method of my