Project

General

Profile

Actions
Copy link

機能 #1186

closed

World Shifterでアイコンが同じな違うWorldを判別できるようにする

Added by kagura1050 てお over 6 years ago. Updated over 6 years ago.

Status:
終了
Priority:
通常
Assignee:
-
Target version:
3.6
Start date:
2018-03-03
Due date:
% Done:

0%

プラグイン名:

Description

左上のアイコンしかWorldを判別する要素がないので
違うWorldでアイコンが同じだとどのWorldかわからない問題。
とりあえず僕の案としてtooltipsを出すようにするパッチを添付しておきます。

Files

world-shifter-tooltips.diff (1 KB) world-shifter-tooltips.diff kagura1050 てお, 2018-03-03 12:00
Actions
Copy link
 #1

Updated by toshi_a 初音 over 6 years ago

  • Status changed from 新規 to 実装待ち

これいいですね。少し気になることがあるので調査していますが、この機能自体は賛成なのでmergeする方向で行きます

Actions
Copy link
 #2

Updated by toshi_a 初音 over 6 years ago

  • Status changed from 実装待ち to 終了

masterにmergeしました。

Actions
Copy link
 #3

Updated by toshi_a 初音 over 6 years ago

#750 で、tooltipのインスタンスを使いまわしたほうがいいというアドバイスを受けていたので、今回のパッチもそれに合わせて書き換えています

Actions
Copy link

Also available in: Atom PDF