Cibin Mathew

@brookhong would you be able to direct to the relevant code or any pointers on the issue. I can try to work on a pr for this.

This is certainly a great feature to search especially long forgotten history and bookmark. Looking forward for the integration.

Many examples could be found at https://github.com/brookhong/Surfingkeys/blob/master/src/content_scripts/common/default.js

@dycw How do we install this(should we replace the existing plugin). TIA

Thanks @dycw @chengzeyi may be it helps to add a section or atleast a hint to follow any of the standard installation for plugins

👍🏻

> Hi @cibinmathew , Thanks for your work, a zoom indicator seems like a very good idea. However, some things: > > * Hard-coding a non-ASCII character is not very...

> Please see https://powerline.readthedocs.io/en/latest/configuration.html for the configuration structure. If I'm not mistaken, the flow should be roughly as follows: The config sets the overall theme (non-ascii / unicode / etc);...

@inducer Do you have suggestions on unifying HELP_SIDE and HELP_MAIN https://github.com/inducer/pudb/blob/916658c80f323c02a28c3b609a536a5d5cc8111b/pudb/debugger.py#L136-L144 https://github.com/inducer/pudb/blob/916658c80f323c02a28c3b609a536a5d5cc8111b/pudb/debugger.py#L75-L84

when are these displayed separately. couldnt figure out why two instances of this are needed. Do you think the duplication can be completely avoided