Ticket #4445 (closed enhancement: fixed)

Opened 21 months ago

Last modified 21 months ago

Skin julia256.ini: More improvements

Reported by: proski Owned by: andrew_b
Priority: trivial Milestone: 4.8.30
Component: mc-skin Version: master
Keywords: Cc:
Blocked By: Blocking:
Branch state: no branch Votes for changeset: committed-master

Description

More improvements for the julia256 skin on top of #4441. I actually went through every line in the skin this time to make sure I haven't missed anything. I even found how to enable the editor margin, which can only be done in the configuration file. So hopefully it's the last patch for the skin.

Attachments

0001-skin-julia256.ini-Minor-improvements.patch​ (1.8 KB) - added by proski 21 months ago.
Patch
hotfocus.PNG​ (8.1 KB) - added by proski 21 months ago.
screenshot - focused hotkey
popup.PNG​ (14.1 KB) - added by proski 21 months ago.
screenshot - popup title
margin.PNG​ (18.0 KB) - added by proski 21 months ago.
screenshot - editor margin

Change History

Changed 21 months ago by proski

Patch

Changed 21 months ago by proski

screenshot - focused hotkey

Changed 21 months ago by proski

screenshot - popup title

Changed 21 months ago by proski

screenshot - editor margin

comment:1 Changed 21 months ago by andrew_b

  • Owner set to andrew_b
  • Status changed from new to accepted
  • Milestone changed from Future Releases to 4.8.30

comment:2 Changed 21 months ago by andrew_b

  • Status changed from accepted to testing
  • Votes for changeset set to committed-master
  • Resolution set to fixed

Thanks! Applied as [1ad30a6474ec1638922d57d7f3f19fe07fefde5a].

comment:3 Changed 21 months ago by andrew_b

  • Status changed from testing to closed
Note: See TracTickets for help on using tickets.