Menu
▾
▴
Re: [ jEdit-devel ] Status Bar widgets
|
From: Robert S. <Ro...@Sc...> - 2010-01-22 15:51:03
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type"> <title></title> </head> <body bgcolor="#ffffff" text="#000000"> Matthieu Casanova wrote: <blockquote cite="mid:cde...@ma..." type="cite"> <div class="gmail_quote"> <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br> 2. If the Text of a label widget begins with a letter (A-Z), then the<br> label is not displayed. Is this intended so?<br> </blockquote> <div><br> </div> <div>It is a stupid limitation I added when I was doing that api, I just removed this limitation, now you can use labels that begin with letters. (if your label has the name same name as a widget, the widget will be used instead of the label)</div> </div> </blockquote> <br> Thank You..<br> <br> <blockquote cite="mid:cde...@ma..." type="cite"> <div class="gmail_quote"> <div>About displaying only unused widgets when adding them in the options, could you fill a feature request ?</div> <div><br> </div> </div> </blockquote> <br> Done.<br> <br> </body> </html> |
