[r3534以降] ツールバーのサイズ変更が正しく動作しない

[z9999+]

ツールバーのサイズを変更した場合正しく動作しません。
サイズ変更をしない場合でも正しく動作しない場合があります。

コード: ［選択］

Index: gui/werkzeug_waehler.cc
===================================================================
--- gui/werkzeug_waehler.cc (リビジョン 3540)
+++ gui/werkzeug_waehler.cc (作業コピー)
@@ -94,7 +94,7 @@
 {
  int dx = x/icon.x;
  int dy = (y-16)/icon.y;
- if(  x>=0 && dx<tool_icon_width  &&  y>=0  &&  (y<TITLEBAR_HEIGHT  ||  dy<tool_icon_width)  ) {
+ if(  x>=0 && dx<tool_icon_width  &&  y>=0  &&  (y<TITLEBAR_HEIGHT  ||  dy<tool_icon_height)  ) {
  return y < TITLEBAR_HEIGHT || dx + tool_icon_width * dy + tool_icon_disp_start < (int)tools.get_count();
  }
  return false;