Programming」カテゴリーアーカイブ

GtkPopover

Fedora 30 の準備をそろそろしなければ。

GNOME が 3.32 になって ApplicationMenu が非推奨に。
GTK3 アプリ以外には広がらなかったからしかたがないかもね。
Android のメニューボタンみたいなものだし広まってもよさげだったのにね。
何故か反 Apple みたいな輩がボロクソに言っていたり、根暗ってマジで意味不明。

我がアプリもハンバーガーメニューに変更しなきゃ、面倒だなぁ。
と思ったんだけーが。

#!/usr/bin/env python3

from gi.repository import Gtk

class ComipoliMenuButton(Gtk.Button):
    def __init__(self):
        # MenuIten
        menu_open  = Gtk.ModelButton(active=True, action_name='app.new_file_action', text="_Open", use_markup=True)
        menu_new   = Gtk.ModelButton(active=True, action_name='app.new_window_action', text="_New Window", use_markup=True)
        menu_pref  = Gtk.ModelButton(active=True, action_name='app.preference_action', text="_Preference", use_markup=True)
        menu_kbd   = Gtk.ModelButton(active=True, action_name='app.shortcut_action', text="_Keyboard Shortcut", use_markup=True)
        menu_about = Gtk.ModelButton(active=True, action_name='app.about_action', text="_About", use_markup=True)
        menu_quit  = Gtk.ModelButton(active=True, action_name='app.quit_action', text="_Quit", use_markup=True)
        # Box
        vbox = Gtk.Box(visible=True, margin=10, orientation=Gtk.Orientation.VERTICAL)
        vbox.pack_start(menu_open, False, False, 0)
        vbox.pack_start(Gtk.Separator(orientation=Gtk.Orientation.HORIZONTAL), False, False, 0)
        vbox.pack_start(menu_new, False, False, 0)
        vbox.pack_start(menu_pref, False, False, 0)
        vbox.pack_start(menu_kbd, False, False, 0)
        vbox.pack_start(menu_about, False, False, 0)
        vbox.pack_start(Gtk.Separator(orientation=Gtk.Orientation.HORIZONTAL), False, False, 0)
        vbox.pack_start(menu_quit, False, False, 0)
        # Hamburger Image
        image = Gtk.Image(icon_name='open-menu-symbolic')
        # init
        Gtk.Button.__init__(self, can_focus=False, focus_on_click=False, image=image, visible=True)
        # Popover
        self.popover = Gtk.Popover(relative_to=self)
        self.popover.add(vbox)

    def do_clicked(self):
        if self.popover.props.visible:
            self.popover.hide()
        else:
            self.popover.show_all()

を作ってみた。

GtkApplication から Gio.Menu だけを消す。
app.*** と指定していたアクション名を GtkModelButton でそのまま指定。
後は掟どおりにパッキング、relative-to に自分を指定。
GtkPopover のクリック処理もオーバーライドでやってしまえ。

って、コレだけで動いてしまうジャン!
本体に新たなハンドラを書く必要もアクションを新規で作る必要も無かった。
つまり変更は超簡単です、本体に F10 でメニュードロップ追加を忘れずに。

後はフルスクリーン時の F10 キーをどうするかだ、斜めにポップアップするんだが。
それとデザインがなんかイマイチ、Fedora 30 が出るまでに色々考えておく。
てか Y901x はどうしよう、スタンドアロンの動画プレイヤーってもういらなくね?

いやまあ、AppKit では分離があたりまえなので同じようにできないかなって。
AppKit より簡単だった、フレームワークは色々使ってみると経験値が上がるね。
そんなことより、やっぱり RealForce は快適だ!

f-string

PEP 498 — Literal String Interpolation | Python.org

f-string なんてものが Python 3.6 から使えるのか。

#!/usr/bin/env python3

suzuki = 'スズキ'

# Python2 互換
print('%sのバイクはカッコイイ' % suzuki)
# Python3 format
print('{0}はスクーターもカッコイイ'.format(suzuki))
# f-string (3.6 or lator)
print(f'{suzuki}は自動車もカッコイイ')

# raw f-string
lf = '元からある改行はダメだけど\n'
print(fr'{lf}この \n は改行されない')

# docstring
doc = 'ヒアドキュメント'
print(f'''これなら ' も " も普通に使える
まるで{doc}だね''')

# ゼロ詰め
for n in range(3):
    print(f'{n:#03d}')

なるほど。

当然だけど f-string が一番短く書ける、かつ理解しやすい。
ゼロ詰めが可能なので js のテンプレートリテラルより便利。
今後 Python はコレでいこう。

vscode だとヘンテコな色分けをしてくれます。
てか f’ と打ったら閉じクォートを勝手に補完するのをヤメてくれ!
閉じクォート補完設定は OFF にしているのに、別設定なのかよ。
本当に余計なことばかりするクソエディタだな。

私的には $ 記号が欲しかった、sh, php, js 互換になるし。

Graphics

18 日に上げた PyObjC Tips の日付が 2018 年になってた!
よしさっさと更新してごまかしてまえwwwww

PyObjC Tips – L’Isola di Niente

てか、AppKit に関しては comipoli で必要な API しか調べていないんで。
全部調べて作ってだとスゲェ時間が掛かるので細切れで出すことにした。
ゴールデンウイークは 10 連休なのでもちっと進めたい。

あっちにも書いたけど。
Cocoa Dev Central: Cocoa Graphics with Quartz
Cocoa Dev Central: Cocoa Graphics with Quartz II
すごく解りやすいよね。
今後のページ作りの参考にしよう。

cairo だとココとか。
Cairo samples

日本語でこの手を探すとスクショだらけな Xcode の使い方解説ばかりで困る。
Visual Studio もそうだったね、Mac も Windows も本当に何も変わらないなと。
インストールのスキルしか上がらない Node.js よりマシ程度。
日本人はコードを書くのが嫌いなんだろうか?

import objc

今頃気が付いた。
PyObjC の AppKit に objc は含まれていた。

#!/usr/bin/env python3

#import objc
from AppKit import *

いらなかったんや!!!

PyObjC Tips ページを作っていて気がつく、書いていないのに動いたって。
作っているうちに又気がついたことがあったらコッチに書くわ、ネタがないし。
しかしゼロから作るのはどう書くか迷って中々進まない。

JavaScript Date

JavaScript 覚書で jjs を削除し他を今風に書き換え。
だけじゃつまらないから何か追記したい。

日付けと時刻の取得はまだ Gjs でしかやっていなかった。
よしこれを JXA, Node.js で行う手段を探し、、、、、いやまて。
よく考えたら JavaScript には Date オブジェクトがあった。

/**
 * Gjs, JXA, Node.js 共通
 */

const WEEKS = ['日','月','火','水','木','金','土'];

let now = new Date();

let year  = now.getYear() + 1900;
let month = now.getMonth() + 1;
let day   = now.getDate();
let week  = WEEKS[now.getDay()];
let hour  = now.getHours();
let minut = now.getMinutes();
let sec   = now.getSeconds();

if (month < 10) month = '0' + month;
if (day   < 10) day = '0' + day;
if (hour  < 10) hour = '0' + hour;
if (minut < 10) minut = '0' + minut;
if (sec   < 10) sec = '0' + sec;

if (typeof print === 'undefined') print = console.log;
print(`${year}年${month}月${day}日(${week}) ${hour}:${minut}:${sec}`);

で。

ウエブブラウザでも使える、JavScriptCore 単体でも動く。
.bashrc にエイリアスを作って試してみよう。

# Fedora alias
alias jsc=/usr/libexec/webkit2gtk-4.0/jsc

# macOS alias
alias jsc=/System/Library/Frameworks/JavaScriptCore.framework/Versions/A/Resources/jsc

あ、仕事は遅番出勤ですので。

ところで、以下で検索するとやはりというかなんというか。
‘node.js 日付と時刻’

strftime 形式で日時取得ごときにインストール…
何故いつもいつもインストールばかりやっているのだ?
その程度を自分で作れない輩にいったい何が作れるのだ?

%H,%M,%S だけの実装例を書いてみる。
datetime.now なのはもちろん Python に合わせた。

const datetime = {
    now(fmt) {
        let now = new Date();
        let kwd = false;
        let res = [];
        for (let s of fmt) {
            if (kwd) {
                switch (s) {
                case 'H':
                    s = now.getHours();
                    if (s < 10) s = '0' + s;
                    break;
                case 'M':
                    s = now.getMinutes();
                    if (s < 10) s = '0' + s;
                    break;
                case 'S':
                    s = now.getSeconds();
                    if (s < 10) s = '0' + s;
                    break;
                default:
                    throw 'undefined format';
                }
                kwd = false;
            } else {
                if (s === '%') {
                    kwd = true;
                    continue;
                }
            }
            res.push(s);
        }
        return res.join('');
    }
}
if (typeof print === "undefined") print = console.log;
print(datetime.now('%H:%M:%S'))

15 分で作れた。

Google さん、もっとまともなサイトを上位に表示してよ。