Slim down toolbar to only essential icons

Makefile.am

@@ -28,51 +28,27 @@ EXTRA_DIST = \
     build_support/msw/gambit.wxs.in \
 	build_support/osx/Info.plist.in \
 	build_support/osx/gambit.icns \
-	src/gui/bitmaps/about.xpm \
-	src/gui/bitmaps/adddecimal.xpm \
 	src/gui/bitmaps/calc.xpm \
-	src/gui/bitmaps/close.xpm \
-	src/gui/bitmaps/color.xpm \
-	src/gui/bitmaps/datasrc.xpm \
-	src/gui/bitmaps/deldecimal.xpm \
-	src/gui/bitmaps/dice.xpm \
 	src/gui/bitmaps/efg.ico \
-	src/gui/bitmaps/exit.xpm \
-	src/gui/bitmaps/font.xpm \
 	src/gui/bitmaps/gambitbig.xpm \
 	src/gui/bitmaps/gambit.bmp \
 	src/gui/bitmaps/gambit.ico \
 	src/gui/bitmaps/gambit.xpm \
-	src/gui/bitmaps/label.xpm \
-	src/gui/bitmaps/layout.xpm \
 	src/gui/bitmaps/move.xpm \
-	src/gui/bitmaps/newcol.xpm \
-	src/gui/bitmaps/newrow.xpm \
 	src/gui/bitmaps/newtable.xpm \
 	src/gui/bitmaps/newtree.xpm \
-	src/gui/bitmaps/new.xpm \
 	src/gui/bitmaps/next.xpm \
 	src/gui/bitmaps/nfg.ico \
 	src/gui/bitmaps/open.xpm \
-	src/gui/bitmaps/person.xpm \
-	src/gui/bitmaps/preview.xpm \
 	src/gui/bitmaps/prev.xpm \
-	src/gui/bitmaps/print.xpm \
 	src/gui/bitmaps/profiles.xpm \
-	src/gui/bitmaps/saveas.xpm \
-	src/gui/bitmaps/savedata.xpm \
 	src/gui/bitmaps/save.xpm \
 	src/gui/bitmaps/stop.xpm \
 	src/gui/bitmaps/table.xpm \
 	src/gui/bitmaps/tobegin.xpm \
 	src/gui/bitmaps/toend.xpm \
-	src/gui/bitmaps/tree.xpm \
 	src/gui/bitmaps/undo.xpm \
 	src/gui/bitmaps/redo.xpm \
-	src/gui/bitmaps/zoomfit.xpm \
-	src/gui/bitmaps/zoomin.xpm \
-	src/gui/bitmaps/zoomout.xpm \
-	src/gui/bitmaps/zoom1.xpm \
 	src/gui/bitmaps/gambitrc.rc \
 	contrib/games/2s2x2x2.efg \
 	contrib/games/2x2x2.efg \

doc/gui.export.rst

@@ -13,9 +13,8 @@ for players, dominance and probability indicators, and so forth.
 Printing a game
 ---------------
 
-To print the game, press :kbd:`Ctrl`-:kbd:`P`, select
-:menuselection:`File --> Print`, or click
-the printer icon on the toolbar. The game is scaled so that the
+To print the game, press :kbd:`Ctrl`-:kbd:`P` or select
+:menuselection:`File --> Print`. The game is scaled so that the
 printout fits on one page, while maintaining the same ratio of
 horizontal to vertical size; that is, the scaling factor is the same
 in both horizontal and vertical dimensions.

doc/gui.general.rst

@@ -65,10 +65,13 @@ The advantage of this format is that, in certain circumstances, Gambit
 may be able to compute equilibria exactly. In addition, some methods
 for computing equilibria construct good numerical approximations to
 equilibrium points. For these methods, the computed equilibria are
-stored in floating-point format. To increase the number of decimal
-places shown for these profiles, click the increase decimals icon . To
-decrease the number of decimal places shown, click the decrease
-decimals icon .
+stored in floating-point format. When such a profile is displayed in
+the profiles panel, a :guilabel:`Decimals` control appears next to the
+profile list chooser, letting you increase or decrease the number of
+decimal places shown. This control only appears for profiles computed
+in floating-point precision; it is hidden when the displayed profiles
+are exact (rational-number) equilibria, since changing the number of
+decimals would have no effect on them.
 
 Increasing or decreasing the number of decimals displayed in
 computed strategy profiles will not have any effect on the display of

src/gui/analysis.h

@@ -24,6 +24,7 @@
 #define GAMBIT_GUI_ANALYSIS_H
 
 #include <optional>
+#include <type_traits>
 
 #include "games/workspace.h"
 #include "nashspec.h"
@@ -96,6 +97,9 @@ class AnalysisOutput {
   /// Are these behavior or strategy profiles natively?
   virtual bool IsBehavior() const = 0;
 
+  /// Are these profiles computed in floating-point (as opposed to exact rational) precision?
+  virtual bool IsFloatingPoint() const = 0;
+
   //@}
 
   virtual std::string GetPayoff(int pl, int p_index = -1) const = 0;
@@ -150,6 +154,9 @@ template <class T> class AnalysisProfileList final : public AnalysisOutput {
   /// Are these behavior or strategy profiles natively?
   bool IsBehavior() const override { return m_isBehav; }
 
+  /// Are these profiles computed in floating-point (as opposed to exact rational) precision?
+  bool IsFloatingPoint() const override { return std::is_same_v<T, double>; }
+
   /// The number of profiles in the list
   int NumProfiles() const override;