| Age | Commit message (Collapse) | Author | 
|---|
|  |  | 
|  |  | 
|  | At least git allows files named '.git'. | 
|  |  | 
|  |  | 
|  | If any extensions are specified as inclusive, exclude all others not specified. | 
|  | Filters are now simply lists of inclusive and exclusive patterns.
Added temporary compatibility and notice for old-style filters. | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | Thanks to Misel Alexander. | 
|  |  | 
|  |  | 
|  | Lua 5.3 made them optional and LuaJIT support has been dropped. | 
|  |  | 
|  |  | 
|  | Thanks to Christof Böckler. | 
|  |  | 
|  | Embed multiple sizes in one icon file. | 
|  |  | 
|  | Also updated to Lua 5.3 syntax where held back by LuaJIT's 5.1/5.2 syntax. | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | This allows for immediate scrolling, selections, etc. in non-focused views. This
behavior mimics the GUI version. | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | As a result, no need for a *properties.lua* file anymore. Also, renamed
`ui.set_theme()` to `buffer.set_theme()`. | 
|  | They can be auto-detected now. | 
|  |  | 
|  |  |