File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 5555 < div class ="jumbotron ">
5656 < p style ="font-weight:bold; " class ="lead heading "> micro</ p >
5757 < p class ="lead "> a modern and intuitive terminal-based text editor</ p >
58- < p > < a class ="btn btn-lg btn-success " onclick =" download_page() " role ="button "> Download</ a > </ p >
58+ < p > < a class ="btn btn-lg btn-success " href =" https://github.com/zyedidia/micro/releases/latest " role ="button "> Download</ a > </ p >
5959 < a class ="github-button " href ="https://github.com/zyedidia/micro " data-size ="large " data-show-count ="true " aria-label ="Star zyedidia/micro on GitHub "> Star</ a >
6060 < p > < a style ='font-size: 16px; ' href ="https://github.com/zyedidia/micro#installation "> See detailed installation instructions</ a > </ p >
6161 </ div >
@@ -188,12 +188,5 @@ <h2>Testimonials</h2>
188188
189189 <!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
190190 < script src ="micro_files/ie10-viewport-bug-workaround.js "> </ script >
191-
192- < script >
193- function download_page ( ) {
194- var win = window . open ( "https://github.com/zyedidia/micro/releases/latest" , '_blank' ) ;
195- win . focus ( ) ;
196- }
197- </ script >
198191 </ body >
199192</ html >
You can’t perform that action at this time.
0 commit comments