Project

General

Profile

Actions

機能 #1186

closed

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

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

Status:
終了
Priority:
通常
Assignee:
-
Target version:
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 #1

Updated by toshi_a 初音 over 6 years ago

  • Status changed from 新規 to 実装待ち

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

Actions #2

Updated by toshi_a 初音 over 6 years ago

  • Status changed from 実装待ち to 終了

masterにmergeしました。

Actions #3

Updated by toshi_a 初音 over 6 years ago

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

Actions

Also available in: Atom PDF