2013年4月26日金曜日

LREdit で フォントサイズを変更するコマンド

LREdit で フォントサイズを変更するのは、通常、設定メニューから行いますが、
以下のようなコマンドを用意すると、コマンドラインから変更できるようになります。


    #----------------------------------------------
    # FontSize command

    def command_FontSize(info):
        if len(info.args) >= 1:
            try:
                size = int( info.args[0] )
            except ValueError, e:
                print "ERROR : invalid font size"
                return
        else:
            size = window.ini.getint( "FONT", "size" )
            size = window.inputString( u"Size", str(size), [] )
            try:
                size = int(size)
            except ValueError, e:
                print "ERROR : invalid font size"
                return

        window.setFont( unicode(window.ini.get("FONT","name"),"utf8"), size )
        window_rect = window.getWindowRect()
        window.setPosSize( window_rect[0], window_rect[1], window.width(), window.height(), 0 )

    window.launcher.command_list += [
        ( u"FontSize", command_FontSize ),
    ]



頻繁にフォントサイズを変更する人用。
(プレゼンにテキストエディタを使う人とか。)

0 件のコメント:

コメントを投稿