| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
#2453 #1432
|
|
|
|
|
|
|
| |
- Recompress all pngs losslessly to reduce disk use slightly
- Remove old unused images
- Switch some code over to imageNamed: to allow easier Retina additions in future
|
|
|
|
| |
icon, to reduce the overall space taken up in the bottom bar and to make it clearer a jump-to/options button is available
|
|
at the bottom. This addresses the last of Issue #49 and implements Issue #133; jump-to and two prefs affecting loading are available in a popup when clicking the pagination interface.
- Format row counts at the bottom of the content pane
- Increase the MCPStreamingResult buffer for a stronger workaround for #463
|