diff options
| author | mbkma <[email protected]> | 2020-09-27 23:28:14 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-10-24 19:21:04 +0200 |
| commit | 6e4188e92ee151ac44f2cccf239c8f5ae43d4b69 (patch) | |
| tree | 94476abd72ad103adfdfcf54f756c7f948663b51 /.github | |
| parent | 0830446ca167e24e3105bb76fcf5aabc13608b54 (diff) | |
| download | pluma-6e4188e92ee151ac44f2cccf239c8f5ae43d4b69.tar.bz2 pluma-6e4188e92ee151ac44f2cccf239c8f5ae43d4b69.tar.xz | |
Redesign Pluma Preferences Dialog
- Group options into Display and Highlighting categories
- Fix sensitivity of auto-save spinbutton
- Display right margin with spinbutton in one line
- Apply sensitivity on spinbutton directly instead of according ui objects "autosave_hbox" and "right_margin_position_hbox"
- Adjust order of "Spaces, Tabs, Newlines" checkboxes to match the headings order
- Remove empty labels and use widget margins instead
- Indent "Do not split words.." box in "Text Wrapping" (Because its a subitem)
- Do not indent box with colour schemes
- Capitalize headings (Grid pattern -> Grid Pattern and Show spaces, tabs, newlines -> Show Spaces, Tabs, Newlines)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions