search

Frege / eclipse-plugin

The eclipse plugin for frege, codename fregIDE
31 stars 6 forks source link

Can't hide the toolbar #5

Closed muhuk closed 9 years ago

muhuk commented 9 years ago

I can't find the toolbar that has on it:

f . g | `regex` | `op` | Compile | Refresh

in the Customize Perspective dialog.

I created a perspective for Frege stuff, where I'd like to keep this toolbar. But I want to hide it in other perspectives. How do I achieve that?

Ingo60 commented 9 years ago

Hmmmm ... as far as I understand it this belongs to the IMP editor instance. You can see this if you close all editors with frege code, then the tool bar disappears. As soon as you open a Frege file, it re-appears again.

Also, if you have some non-frege editor tabs, as soon as you change to one of them, the toolbar disappears and comes back only if you change to a frege editor tab again.

So it would seem that if there is no Frege editor active in your perspective, the toolbar should not be there anyways?

Version: Luna SR1 (4.4.1)

muhuk commented 9 years ago

You are right. Since it disappears as you said, this is not an issue. Thanks for the response. I'm closing this.