dondi
dondi
Logistics are to be determined next (i.e., who’s riding with whom). We’ll also disseminate once we know more specific details about the talk
This looks like it merits some detailed boots-on-the-ground code-following so @MilkaZek will seek to come by during office hours for some pair-code-following
@MilkaZek and I spent a couple of hours working on this bug and we made progress: we located the reason why node coloring wasn’t activating and it wasn’t actually because...
Verified at meeting; one approach is to just drop “Network” from the label so that its length fits in the width allotted Other possibilities: * The menu bar is OK...
@kdahlquist also notes the difference in behavior between GRN and PPI, and it was solved with GRN before. We should look for differences in implementation
Upon re-examining the issue, the preference instead is to have the menu bar scroll horizontally if it doesn’t have enough space. This is typically done with a combination of `overflow-x:...
Quick correction: the overflow should apply to the entire app viewport and not just the menu bar. As such, the `overflow` property should apply to the overall app and there...
Same approach here as noted in #1213
Ideally the ordering can be done right at load time so that it just carries through all the way to export The ordering appears to happen in certain tabs, so...
Because this involves export code, @Amelie1253 and @MilkaZek have been assigned for coordination, with @ntran18 taking the lead