MapTool 1.3 Development Build 10

Full Bleed · Post by **Full Bleed** » Sat Aug 11, 2007 1:11 am

Small issues for 1.3b10 ...

Under:

Map>Hide from players
Map>Enable Fog-of-War

There is no spacing between the above selections and their hot-keys in the menu.

Smaller edit:

I think the "p" in "players" should be capitalized.

Phergus · Post by **Phergus** » Sat Aug 11, 2007 9:00 am

I believe Trevor has said that problem was a bug in the GUI/docking framework. It has been like that since the switch.

I agree that the P in Players should be capitalized.

Full Bleed · Post by **Full Bleed** » Sat Aug 11, 2007 1:43 pm

Phergus wrote:I believe Trevor has said that problem was a bug in the GUI/docking framework. It has been like that since the switch.

Bummer. Was hoping that it was just an issue that was always being pushed to the back and was really just a quick fix.

Post by **trevor** » Mon Aug 13, 2007 12:36 am

Specifically it's the look and feel (the skin) that we're using. I need to check if there's an update that will fix it.