sc ide: swap Document::settingsFont() for Settings::Manager::codeFont()
commit27eb5831676d2864f97d57770851109dd21e8b41
authorJakob Leben <jakob.leben@gmail.com>
Tue, 4 Sep 2012 09:52:11 +0000 (4 11:52 +0200)
committerJakob Leben <jakob.leben@gmail.com>
Tue, 4 Sep 2012 09:57:51 +0000 (4 11:57 +0200)
treea769a44df6dcc82d4b9f2873a9db58bb5f3af4bf
parent346ffac58e45da0c5a20fe3b8af1daabb16f415e
sc ide: swap Document::settingsFont() for Settings::Manager::codeFont()
editors/sc-ide/core/doc_manager.cpp
editors/sc-ide/core/doc_manager.hpp