hiiwave
hiiwave
I see. It's my carelessness that I didn't notice that #586 was indeed a separate issue from #418. Hence so far I think the best way to debug with unexpected...
I would say it's still preferable if breaking into debugger `-b` in Catch supports unexpected exceptions. Since the use of `catch throw` command in gdb has some side effects including...
Why don't you just run two instances of `sync` simultaneously?
I did not notice that there's python 2.7 support (thus CI failed). Please review the concept first and I can deal with it if this is going to be merged.
@lwatt I was bothered by this today. Thanks for the fix! I see this PR was approved. Could we merge it now?
I guess what he means by double click is equivalent to selecting the whole word. Just as when we'd like to select a whole word, we usually double click on...
I just tried the new feature suggested. The outline box displays well, though I found that the color was not the same as what I set for the background color...
Looks good to me now. I'm just curious about a tiny technical issue. Why does it work by using `outlineColor` in `main.js` but the property name should be `outline-color` in...
I've also tried adding a round corner on the outline, but it seems that there's no elegant way to do this by current css rule. (There is no such thing...
Please try the following: ``` git clone https://github.com/jcb91/jupyter_highlight_selected_word.git pip install -e jupyter_highlight_selected_word jupyter nbextension install --py jupyter_highlight_selected_word jupyter nbextension enable highlight_selected_word/main ```