starred/micro-editor.github.io
1
0
Fork 0
mirror of https://github.com/micro-editor/micro-editor.github.io.git synced 2026-08-24 10:13:45 -05:00
Code Issues Packages Projects Releases Wiki Activity
45 Commits 1 Branch 0 Tags
master
Commit Graph
45 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Jöran KarlandGitHub d1fa89bd36 Merge pull request #31 from micro-editor/pipe-to-shell 
Flag the "pipe to shell" installation method as third party
 2026-01-24 19:00:33 +01:00
Jöran Karl 1225fb6d63 index: Slightly adjusted star link and installation instructions 
This looks a bit better in case the GitHub star button isn't displayed due to
used adblocker.
 2026-01-23 21:17:01 +01:00
Jöran Karl c6930cc67a index: Flag the "pipe to shell" installation method as third party 
Additionally move this section below the installation instructions to separate
it from the preferred installation method.
 2026-01-23 20:55:11 +01:00
Jöran KarlandGitHub 20e0340f51 Change zyedidia/micro to micro-editor/micro (#30) 2026-01-21 21:01:32 +01:00
Zachary Yedidia fd2322733b Remove ga function 
Maybe try goat counter instead? Or nothing
 2025-01-01 17:50:34 -05:00
Zachary Yedidia 1abe9c01d9 Merge 2020-06-24 13:30:07 -04:00
Zachary Yedidia 4e2fe66087 Update FAQ 2020-06-24 13:30:01 -04:00
Zachary Yedidia 3aec380099 Compress images 2020-02-11 16:30:08 -05:00
Zachary Yedidia 1a3889b25b Update screenshots 2020-02-10 23:48:51 -05:00
Zachary Yedidia 157ee27b6a Fix plugin install command 2020-02-10 14:51:34 -05:00
Zachary Yedidia 615e9c431b Improve plugin page 
The displayed version is always the most recent, and expanded views
give a link to the plugin website if it exists.
 2020-02-10 14:26:51 -05:00
Zachary Yedidia f0ab3d3e8c Improve favicon resolution 2020-02-08 21:24:16 -05:00
Zachary Yedidia 745d778b20 Add getmic.ro to frontpage 2020-02-02 17:04:45 -05:00
Zachary YedidiaandGitHub bdb5ac6413 Merge pull request #5 from mathieu-aubin/master 
raster compression
 2019-12-19 10:29:54 -05:00
Zachary YedidiaandGitHub b361dd9d2b Merge pull request #10 from jackwilsdon/direct-download-link 
Change download button to use href attribute instead of JS
 2018-09-28 20:26:58 -04:00
Jack Wilsdon 2e13811f95 Change download button to use href instead of JS 2018-09-29 01:19:58 +01:00
Zachary YedidiaandGitHub 043fd15ddd Merge pull request #9 from sum01/fix-deprecated 
Fix deprecated Github star button
 2018-03-04 16:18:10 -05:00
Zachary YedidiaandGitHub f5fd51c387 Merge pull request #8 from sum01/fix-issue-7 
Change plugin page to work with multiple versions, and more
 2018-03-04 16:17:50 -05:00
sum01 82547af7bc Fix deprecated Github star button 2018-03-04 15:21:28 -05:00
sum01 40805d8315 Change plugin page to work with multiple versions, and more 
Allows for the newest version to show next to the name, but displays all available versions (if more than one).
Shows the specific requirements next to each version, and displays it more properlly, instead of a stringified object.

Fixes #7
 2018-03-04 15:15:31 -05:00
Mathieu d889d2a8fd raster compression 2018-02-23 19:23:54 +01:00
Zachary Yedidia 22df8f7c20 Update website 2018-01-04 17:49:50 -05:00
Youngbin HanandZachary Yedidia a93b195540 updated formatting (#4) 2017-12-02 12:34:55 -05:00
Zachary YedidiaandGitHub ff7c8ca6a3 Merge pull request #2 from sonicdoe/github-spelling 
Fix spelling of “GitHub”
 2017-10-08 14:51:38 -04:00
Jakob Krigovsky 67769a661b Fix spelling of “GitHub” 2017-10-08 15:28:52 +02:00
Zachary Yedidia 1de8864f21 Support Safari for plugin page 2016-12-14 20:48:05 -05:00
Zachary Yedidia 5f9435422e Some UI improvements to plugin page 2016-12-13 14:58:07 -05:00
Zachary YedidiaandGitHub 491f0f5730 Merge pull request #1 from sukso96100/master 
Added Plugins Pags
 2016-12-13 14:57:20 -05:00
sukso96100 07a160f4a2 Added Plugins Pags 2016-12-14 02:04:12 +09:00
Zachary Yedidia 44ae154b48 Github no longer thinks I'm a bot 2016-10-23 08:52:55 -04:00
Zachary Yedidia 8795e3a016 Add update about how github thinks I'm a bot 2016-10-22 19:45:13 -04:00
Zachary Yedidia 7f2e7405e0 Update readme 2016-10-21 11:00:36 -04:00
Zachary Yedidia 47aee0b941 Make logo link to home page 2016-10-20 18:33:42 -04:00
Zachary Yedidia b8cfd4b75e Merge 2016-10-19 12:30:53 -04:00
Zachary Yedidia 979ae74de3 Update column sizes 2016-10-19 12:30:49 -04:00
Zachary Yedidia da9ce026d8 Remove platform.js 2016-10-18 21:41:18 -04:00
Zachary Yedidia 7e75cc50c8 Update titles 2016-10-18 21:37:11 -04:00
Zachary Yedidia 05feccd5ee Add title to main page 2016-10-18 21:14:40 -04:00
Zachary Yedidia 6724c9bcc4 Update 2016-10-18 16:07:32 -04:00
Zachary Yedidia 6158e0f3a2 Add analytics 2016-10-18 15:59:14 -04:00
Zachary Yedidia 4a0f38374c Make navbar responsive 2016-10-18 15:53:39 -04:00
Zachary Yedidia 9f10a64cfe Add logos 2016-10-17 21:26:02 -04:00
Zachary Yedidia d037cce609 Add about.html page 2016-10-17 20:54:50 -04:00
Zachary Yedidia f895018394 Rephrase some features 2016-10-17 10:03:43 -04:00
Zachary Yedidia 1b349df369 Initial commit 2016-10-16 21:26:35 -04:00