A couple of useful snippets for web developing. The list will grow over the years. Jumping to anchors with JS If we want to jump to an anchor dynamically (using javascript): /* dont use this!!! */ //location.href = location.href +…
A couple of useful snippets for web developing. The list will grow over the years. Jumping to anchors with JS If we want to jump to an anchor dynamically (using javascript): /* dont use this!!! */ //location.href = location.href +…