Embedding: remove the embeddingChanged signal

[features.git] / src / Buffer.cpp

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index c7ed0a0c4b12d3a9d1ef99067214e0d164332feb..b94a7278be7de001def01065ace5fdd4fe2a665d 100644 (file)
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -1900,13 +1900,6 @@ void Buffer::structureChanged() const
 }
 
 
-void Buffer::embeddingChanged() const
-{
-       if (gui_)
-               gui_->embeddingChanged();
-}
-
-
 void Buffer::errors(std::string const & err) const
 {
        if (gui_)