Feature request (low priority): Bookmarks in "Dock Widget"

[Kazzz-S]

While testing #341 and #342, I needed a bit long bookmark list like:

Sample Bookmark ===> BM-110seeds-RGBY-flags.zip

---

It would be convenient if the bookmarks are shown in a Doc Widget (or pinned container) not to follow the menu hierarchy again and again.

With warm regards,
Kazzz

[klayoutmatthias]

This is how it looks:

[Kazzz-S]

Awesome!!!

Thank you so much again.

With warm regards,
Kazzz

[klayoutmatthias]

It's released :-)

Ok to close this?

BR, Matthias

[Kazzz-S]

Hi Matthias,

I've built 0.26 on Linux (my primary environment) and found this new feature is handy as expected.
Once again, thank you very much for providing this feature.
Yes, please close this ticket.

I've demonstrated the new version, and my colleagues love this feature, too, and conceived of a new, improved workflow using this feature.

One commented that it would be much better if a bookmark can be selected not only by the mouse click but also by the arrow keys if the focus is in the dock widget.

With warm regards,
Kazzz

[Kazzz-S]

Hi Matthias,

What it should have been:

One commented that it would be much better if a bookmark can be selected not only by the mouse click but also by the arrow keys if the focus is in the dock widget.

One commented that it would be much better if item selection/change by the arrow keys takes the same effect as the mouse click.

Regards,
Kazzz

[klayoutmatthias]

Hi kazzzthis is there already :-)Enable "Follow selection" in the right-click menu of the bookmark widget. Then the bookmark will be updated when the selection is changed with the arrow keys.Matthias -------- Ursprüngliche Nachricht --------Von: Kazunari Sekigawa <notifications@github.com> Datum: 12.09.19 01:23 (GMT+01:00) An: KLayout/klayout <klayout@noreply.github.com> Cc: Matthias Köfferlein <matthias@koefferlein.de>, Comment <comment@noreply.github.com> Betreff: Re: [KLayout/klayout] Feature request (low priority): Bookmarks in "Dock Widget" (#343) Hi Matthias, What it should have been: One commented that it would be much better if a bookmark can be selected not only by the mouse click but also by the arrow keys if the focus is in the dock widget. One commented that it would be much better if item selection/change by the arrow keys takes the same effect as the mouse click. Regards, Kazzz —You are receiving this because you commented.Reply to this email directly, view it on GitHub, or mute the thread. [ { "@context": "http://schema.org", "@type": "EmailMessage", "potentialAction": { "@type": "ViewAction", "target": "#343?email_source=notifications\u0026email_token=AGEHQCMZIG3TYI7FTMQGEQ3QJF4WVA5CNFSM4ITEGP62YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD6QFXFQ#issuecomment-530602902", "url": "#343?email_source=notifications\u0026email_token=AGEHQCMZIG3TYI7FTMQGEQ3QJF4WVA5CNFSM4ITEGP62YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD6QFXFQ#issuecomment-530602902", "name": "View Issue" }, "description": "View this Issue on GitHub", "publisher": { "@type": "Organization", "name": "GitHub", "url": "https://github.com" } } ]

[Kazzz-S]

Hi Matthias,

I've confirmed the usage of the context menu.
Selection of bookmark items with the up and down arrow keys helps speedy operation.
Thank you for the proactive user interface design!
Let me close this ticket with this comment.

With best regards,
Kazzz