Zachary Yedidia
b27ef219a0
Update readme installation instructions
2016-10-11 09:34:49 -04:00
Zachary Yedidia
d163637fa8
Update docs
2016-10-11 09:13:03 -04:00
Zachary Yedidia
905d4d7020
Make monokai the default colorscheme
...
Monokai is a better default colorscheme because it has a better 16
color approximation than zenburn. On 16 color terminals, it looks like
zenburn is not syntax highlighting anything.
2016-10-11 09:09:56 -04:00
Zachary Yedidia
f85dd77036
Merge
2016-10-10 21:44:48 -04:00
Zachary Yedidia
8f5f8ffdd6
Fix tabstop sizing with mix of tabs and spaces
...
Fixes #404
2016-10-10 21:44:16 -04:00
Zachary Yedidia
b09093f78c
Merge
2016-10-10 18:40:48 -04:00
Zachary Yedidia
104699e500
Use default foreground for empty indent chars
...
Fixes #403
2016-10-10 18:40:21 -04:00
Zachary Yedidia
38bf8c0225
Temporary fix for plugin panic
...
Fixes #402
2016-10-07 20:34:03 -04:00
Zachary Yedidia
6acda994e4
Update docs and readme
2016-10-06 20:36:37 -04:00
Zachary Yedidia
e563211790
Make linter a default plugin once again
2016-10-06 20:28:10 -04:00
Zachary Yedidia
6a5879cc15
Improve binary size by stripping more aggressively
2016-10-06 17:45:28 -04:00
Zachary Yedidia
aa624d86e6
Move linter and go plugins to their own repos
...
The linter and go plugins are no longer 'default'. Their installation
should be handled by the plugin manager: `> plugin install go` and
`> plugin install linter`.
The autoclose plugin will remain a default plugin because it provides
a more essential feature.
Closes #397
2016-10-06 17:18:53 -04:00
Zachary Yedidia
c410b7b2ce
Improve plugin manager error feedback
2016-10-06 13:39:57 -04:00
Zachary Yedidia
79f1539486
Merge pull request #396 from boombuler/help
...
updated plugin help
2016-10-06 07:22:25 -04:00
Florian Sundermann
d7b7cc954a
updated plugin help
2016-10-06 08:24:39 +02:00
Zachary Yedidia
1914a5b5ff
Update readme
2016-10-05 18:28:08 -04:00
Zachary Yedidia
921b828afb
Add some documentation about plugin manager
2016-10-05 18:26:41 -04:00
Zachary Yedidia
d3d35bd9ff
Add more descriptive error messages for plugin installation failures
...
Ref #378
2016-10-05 18:00:05 -04:00
Zachary Yedidia
76a328a062
Use official plugin channel
...
Use the channel for official plugins from
https://github.com/micro-editor/plugin-channel
Ref #378
2016-10-05 17:57:03 -04:00
Zachary Yedidia
fb90e169cb
Only allow one package per repository
...
This may be temporary.
Ref #378
2016-10-05 17:52:39 -04:00
Zachary Yedidia
a1a307d858
Merge pull request #378 from boombuler/pm
...
Plugin-Manager
2016-10-05 17:51:22 -04:00
Zachary Yedidia
3733e7e223
Add 'Unsplit' action and VSplit and HSplit actions
...
This commit adds the 'Unsplit' action used to close all splits except
the current one.
It also adds the 'VSplit' and 'HSplit' actions which open empty
vertical/horizontal splits so you can bind them to keys.
Closes #228
2016-10-04 11:08:32 -04:00
boombuler
3e8a587aa3
changed json5 repo
2016-10-02 07:57:39 +02:00
boombuler
8f2f1f8c1d
skip core dependencies if micro was build with an unknown version.
2016-10-01 09:28:48 +02:00
boombuler
a940ce3036
allow user to set plugin channels / repos in settings.json
2016-10-01 08:37:04 +02:00
boombuler
d7da72a720
fix plugin zips which contain a root directory
2016-10-01 08:05:05 +02:00
boombuler
b54853140a
new command plugin list
...
this command shows all currently installed plugins and their verion
2016-10-01 07:37:20 +02:00
boombuler
8ad2179423
Merge remote-tracking branch 'zyedidia/master' into pm
2016-10-01 07:20:21 +02:00
Zachary Yedidia
3037d72bcb
Fix more tabnum issues
...
Fixes #395
2016-09-30 07:29:24 -04:00
Zachary Yedidia
7d16e97b95
Switch to my fork of json5
...
This should reduce go get download times for micro considerably
because the original json5 committed a bunch of binaries which
cause the repository to be very large and slow to download.
My fork fixes that.
2016-09-29 18:43:10 -04:00
Zachary Yedidia
0293b774f3
Fix SplitTree tab index
...
Fixes #392
2016-09-29 14:23:25 -04:00
Zachary Yedidia
32cd94b88f
Minor optimization to tabsize fix
2016-09-28 18:08:06 -04:00
Zachary Yedidia
5e5dd78b7c
Merge pull request #387 from boombuler/bug379
...
fixes #379 (second try)
2016-09-28 18:06:18 -04:00
Zachary Yedidia
1c5c741e87
Make sure /Users/zachary/gocode/bin exists before putting binary there
2016-09-28 17:59:40 -04:00
Zachary Yedidia
095e6993a8
Merge pull request #389 from dsnet/master
...
fix offset calculation for column ruler
2016-09-28 17:57:43 -04:00
Joe Tsai
7c3425a012
fix offset calculation for column ruler
...
The calculation for the column ruler index should:
* include the offset for the line numbers gutter
* not include the leftmost column since ruler should scroll with the pane
Fixes #379
2016-09-28 13:40:48 -07:00
boombuler
bc724bf781
fixes #379 (second try)
2016-09-28 21:54:34 +02:00
Zachary Yedidia
13144d4b57
Merge pull request #386 from zyedidia/revert-382-bug379
...
Revert "fixes #379 "
2016-09-28 14:07:29 -04:00
Zachary Yedidia
97bdb15bd6
Revert "fixes #379 "
2016-09-28 14:07:17 -04:00
Zachary Yedidia
fb69ecdc9b
Add 'autosave' option
...
Closes #278
2016-09-28 13:07:05 -04:00
boombuler
1fe1c3eabb
improved plugin search
2016-09-28 18:31:05 +02:00
Zachary Yedidia
191fd5e495
Merge pull request #382 from boombuler/bug379
...
fixes #379
2016-09-28 12:30:01 -04:00
boombuler
8aa017bfda
autocomplete plugin commands
2016-09-28 18:15:39 +02:00
boombuler
9ea947c808
improved logging
2016-09-28 18:00:12 +02:00
boombuler
2a7a55eca4
better plugin search
2016-09-28 17:55:44 +02:00
boombuler
759c00098b
Merge remote-tracking branch 'zyedidia/master' into pm
2016-09-28 17:36:37 +02:00
Florian Sundermann
cce36624dc
PM should not install already installed plugins.
2016-09-28 16:34:28 +02:00
Zachary Yedidia
4664850186
Merge pull request #384 from boombuler/logview
...
don't use undo / redo history for log buffer.
2016-09-28 10:24:30 -04:00
Florian Sundermann
d9c666f6df
don't use undo / redo history for log buffer.
2016-09-28 15:47:31 +02:00
Florian Sundermann
d7e38a52ea
fixes #379
...
when tabstospaces is off tabs were always treated as
as a number of spaces not as tabs with tabstops.
2016-09-28 08:12:19 +02:00