move the most important changes from branch new_insets to head. Still dependant on...

[features.git] / src / Floating.h

diff --git a/src/Floating.h b/src/Floating.h
index 6390adf48f4e9d89a2105c904c0cd0d9cd368731..cdbe80ed5c117f71ae388732e7a4a8db4e4afc11 100644 (file)
--- a/src/Floating.h
+++ b/src/Floating.h
@@ -38,6 +38,12 @@ public:
        ///
        string const & placement() const;
        ///
+       string const & ext() const;
+       ///
+       string const & within() const;
+       ///
+       string const & style() const;
+       ///
        string const & name() const;
        ///
        bool builtin() const;