edit options always shown, even for klayout -ne

[stefanottili]

Shouldn't this widget be treated as an of the other ones in klayout->view ?
This way it could be closed and that choice would be persistent across klayout invocations.

[klayoutmatthias]

It can definitely be removed with -ne. I had a plan originally to unify the options for rulers and shapes (grid, connection constraints ...), but now these diverged. So there is nothing functional in the editor options in viewer mode.

For editor mode, I just made sure that it's always shown then, so I'm sure that would create another discussion if people forget that they dismissed it.

About begin the same than other widgets - the editor options are dynamic and pop up when needed or close when not. That makes them kind of unique.

Matthias

[klayoutmatthias]

I took a look, but turns out that one thing leads to another as usual ...

Actually what is called "Editor Options" is a generic tool options window. Right now, it only has shape editing options, but there is more. Specifically the Ruler Tool has options too. So I think they deserve their own options widget. That makes it easier to disable object or grid snapping while you drag them or select the angle constraint mode.

So I create a ruler options widget and now it's like that:

• In editor mode, the ruler tool shows the ruler widget and the ruler widget is also shown in the Move tool, as during ruler moves, options such as "rulers snap to grid" apply as well
• In viewer mode, there is no active widget in Select mode, but move and ruler modes now show the ruler options widget

I think it's more consistent that way, but the editor options panel (aka "tool options" panel) is not empty. Except in the Select tool in viewer mode.

Matthias

[klayoutmatthias]

Plus, I have changed the behavior of the dock - now its visibility can be configured like for the other docks like you suggested.

The option is "View Menu/Tool Options" along with the visibility settings for the other docks. The default key binding is F3 as before. The "Edit Menu/Editor Options" menu item is gone. It didn't do a good job anyway.

The Tool Options dock is always visible if turned on, but may be empty, when the tool does not have options to show.

[klayoutmatthias]

If it's okay, I'd just release the patch and see where this leads us to ...

Matthias

[stefanottili]

Works for me ..