1. Pete Eberlein's WEE V0.47 available

  • Posted by K_D_R Mar 12, 2016
  • 1776 views

Version 0.47 - Bug fix: parser support for "loop until" statement

Run updater.ex, if you already have Wee installed. Else, download the updater from: https://github.com/peberlein/WEE/blob/master/updater.ex

Thanks again, Pete!

new topic     » topic index » view message » categorize

2. Re: Pete Eberlein's WEE V0.47 available

  • Posted by K_D_R Jun 28, 2016
  • 1402 views

Setting the Line number margin for larger fonts

In WEE I use large fonts which squeeze the first digit off the left margin when the line numbers reached into 4 digits. In WEE's init_edit routine I replaced ssm(SCI_SETMARGINWIDTHN, 0, 48*line_numbers) with: 

 -- mod 
global procedure init_edit(atom edit) 
-- 
-- 
-- 
      integer margin  -- for line_numbers 
      if find(font_height, {16,17,18, 19, 20, 21, 22, 24, 26}) then 
            margin = font_height + 56  
      elsif  find(font_height, { 11, 12, 13, 14, 15}) then 
            margin = font_height + 40 
      else 
            margin = 48 
      end if 
 
      ssm(SCI_SETMARGINWIDTHN, 0, margin*line_numbers)  
 -- 
 -- and now 4 digit line numbers are clearly visible up to 26 point fonts.

I'm sure there is a more elegant way to scale the line number margin to the font size. Please let me know if you have a better solution.

Regards, Ken

new topic     » goto parent     » topic index » view message » categorize

Search



Quick Links

User menu

Not signed in.

Misc Menu