bindings
|
Remove unnecessary import
|
2013-01-21 09:56:43 +01:00 |
config_files
|
Rename "terminal" extension to "shell"
|
2013-01-21 10:48:14 +01:00 |
matchers
|
Restructure extension directories
|
2013-01-19 18:09:20 +01:00 |
renderers
|
Add zsh prompt renderer
|
2013-01-21 10:49:03 +01:00 |
segments
|
Make system load thresholds customizable
|
2013-01-21 11:46:14 +01:00 |
__init__.py
|
Reorganize files
|
2012-12-05 16:37:18 +01:00 |
matcher.py
|
Restructure extension directories
|
2013-01-19 18:09:20 +01:00 |
renderer.py
|
Reset highlighting at end of rendered result
|
2013-01-17 17:25:00 +01:00 |
segment.py
|
Restructure extension directories
|
2013-01-19 18:09:20 +01:00 |
theme.py
|
Fix “default_module” theme key support
|
2013-01-20 19:39:40 +01:00 |