Oh I get it, yes, They could have, yes, but the activity bar is in fact suggested as 'last resort' place to add buttons / ui elements, as it uses more space overall and requires exploration.
It's suggested to (and easy once you're familiar with the api,) add buttons into other extension's (or default) views and panels, so I would expect their command to 'open git graph' was perhaps added as a button in the view/title of git related views, such as the git view or gitlab, etc. existing views. I may be wrong, maybe they should have: I have not tried it yet, but this was just my first thought after seeing screenshots and reading your clarification :) I'm going to try it out and correct myself if needed! -- Félix On Wednesday, July 29, 2020 at 2:39:38 PM UTC-4, Edward K. Ream wrote: > > > > On Wed, Jul 29, 2020 at 12:44 PM Félix <felix...@gmail.com <javascript:>> > wrote: > >> I was expecting to see something in the left had list of extensions. >> >> >> What do you mean by this? >> > > I should have used the term "activity bar". It contains icons for > extensions. Right-clicking the bar allows us to show/hide icons for the > various features and extensions. > > With one or more git extensions enabled, there is an icon that looks like > an upside-down tree. It also contains a number showing how many changed > files there are. > > What I meant was that I was expecting to see some visual indication of the > git graph plugin when I click that git icon. But I don't see anything. > > So it looks like the git graph plugin doesn't actually add *anything* to > the activity bar. Let me check. Yup, nothing changes in the activity bar > when I disable the git graph plugin. It's no big deal. > > 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/6d5b1b8f-9ef6-4d1e-94a2-ebc11628f30fo%40googlegroups.com.
