Plotinus

https://github.com/p-e-w/plotinus
Ubuntu 17.10 にGNOME API を利用してコマンドパレットを表示するPlotinus を使ってみました。

インストール

• 前提ライブラリ

  $ sudo apt-get install git cmake valac libgtk-3-dev

• Plotinus

  $ git clone https://github.com/p-e-w/plotinus.git
  $ cd plotinus
  $ mkdir build
  $ cd build
  $ cmake ..
  $ make
  $ sudo make install

実行

• 現在のロケールで実行

  GTK3_MODULES=$PWD/libplotinus.so gedit

• LANG=C で実行

  LANG=C GTK3_MODULES=$PWD/libplotinus.so gedit

  

コマンドパレットの表示

Ctrl+Shift+P を押下します。