Edit webpage with javascript trick – how to “unedit”?

You would be able to leave edit mode by changing your command to the following javascript:document.body.contentEditable=’false’; document.designMode=’off’; void 0 I have updated my answer to include a simple working example of my answer, tested in chrome, safari and firefox.  Run code snippet

What is a “thread” (really)?

A thread is an independent set of values for the processor registers (for a single core). Since this includes the Instruction Pointer (aka Program Counter), it controls what executes in what order. It also includes the Stack Pointer, which had better point to a unique area of memory for each thread or else they will … Read more

Git: How do I force “git pull” to overwrite local files?

⚠ Important: If you have any local changes, they will be lost. With or without –hard option, any local commits that haven’t been pushed will be lost.[*] If you have any files that are not tracked by Git (e.g. uploaded user content), these files will not be affected. First, run a fetch to update all origin/<branch> refs to latest: Backup your … Read more

Truth value of a Series is ambiguous. Use a.empty, a.bool(), a.item(), a.any() or a.all()

The or and and python statements require truth-values. For pandas these are considered ambiguous so you should use “bitwise” | (or) or & (and) operations: These are overloaded for these kind of datastructures to yield the element-wise or (or and). Just to add some more explanation to this statement: The exception is thrown when you want to get the bool of a pandas.Series: What you hit was a place where the operator implicitly converted … Read more

How do I link a JavaScript file to a HTML file?

First you need to download JQuery library from http://jquery.com/ then load the jquery library the following way within your html head tags then you can test whether the jquery is working by coding your jquery code after the jquery loading script If you want to use your jquery scripts file seperately you must define the external .js … Read more

How to convert a char to a String?

You can use Character.toString(char). Note that this method simply returns a call to String.valueOf(char), which also works. As others have noted, string concatenation works as a shortcut as well: But this compiles down to: which is less efficient because the StringBuilder is backed by a char[] (over-allocated by StringBuilder() to 16), only for that array to be defensively copied by the resulting String. String.valueOf(char) “gets in … Read more