Skip to content
Permalink
master

Commits on Jul 23, 2021

Commits on Sep 29, 2020

  1. update description

    DubininDmitry committed Sep 29, 2020
  2. remove header counter in outline panel, some visual changes: larger t…

    …ags in panel, fix tooltip arrow color and add colors for graph tags and different types of documents for visual distinction
    DubininDmitry committed Sep 29, 2020
Older