On Wed, Jul 29, 2020 at 12:44 PM Félix <felixgra...@gmail.com> 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/CAMF8tS3Goj0ZdkMXuq7RpPSxaxH%2BtEpovGbJnyyLhkJKHM09eg%40mail.gmail.com.