extra   2445

« earlier    

How to create extra space in HTML or a web page
https://www.computerhope.com/issues/ch001662.htm ;;;
tags: How to create extra space in HTML or a web page ;;;
How  to  create  extra  space  in  HTML  or  a  web  page 
8 weeks ago by neerajsinghvns
How do you get rid of the top blank 'dot' hierarch...
My first section looked

[table of contents]
my first header [H1]

Aparently, the newline after [table of contents] was also H1 and it caused the problem. so I deleted it:

[table of contents]my first header

and then entered a (soft?) new line SHIFT-RETURN to seperate them
[table of contents]
my first header [H1]

and the empty dot disappeared.
atlassian  wiki  jira  extra  dot  table  of  contents  format  formatting 
october 2018 by theskett
Discovering Bug Patterns in JavaScript
JavaScript has become the most popular language used by developers for client and server side programming. The language, however, still lacks proper support in the form of warnings about potential bugs in the code. Most bug finding tools in use today cover bug patterns that are discovered by reading best practices or through developer intuition and anecdotal observation. As such, it is still unclear which bugs happen frequently in practice and which are important for developers to be fixed. We propose a novel semi-automatic technique, called BugAID, for discovering the most prevalent and detectable bug patterns.
javascript  research  extra 
october 2018 by kakkoii

« earlier