id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,blockedby,blocking,branch_state,votes 4445,Skin julia256.ini: More improvements,proski,andrew_b,"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.",enhancement,closed,trivial,4.8.30,mc-skin,master,fixed,,,,,no branch,committed-master