diff options
author | rathnor <rathnor> | 2003-11-16 22:33:56 (GMT) |
---|---|---|
committer | rathnor <rathnor> | 2003-11-16 22:33:56 (GMT) |
commit | c8d1e5491bf5ca9b7e3a7d16780faebb4a40793e (patch) | |
tree | 13bc7e69b0cefaa870c2cfd14ff61843e833b451 /src/Screen.cc | |
parent | 7a3bc3df9ae14fda35f40b5fbf6d059c392c6a26 (diff) | |
download | fluxbox_pavel-c8d1e5491bf5ca9b7e3a7d16780faebb4a40793e.zip fluxbox_pavel-c8d1e5491bf5ca9b7e3a7d16780faebb4a40793e.tar.bz2 |
add better theme path searching
Diffstat (limited to 'src/Screen.cc')
-rw-r--r-- | src/Screen.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Screen.cc b/src/Screen.cc index 1aa2e73..5194434 100644 --- a/src/Screen.cc +++ b/src/Screen.cc | |||
@@ -22,7 +22,7 @@ | |||
22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
23 | // DEALINGS IN THE SOFTWARE. | 23 | // DEALINGS IN THE SOFTWARE. |
24 | 24 | ||
25 | // $Id: Screen.cc,v 1.240 2003/10/31 10:37:09 rathnor Exp $ | 25 | // $Id: Screen.cc,v 1.241 2003/11/16 22:33:55 rathnor Exp $ |
26 | 26 | ||
27 | 27 | ||
28 | #include "Screen.hh" | 28 | #include "Screen.hh" |
@@ -2016,7 +2016,8 @@ void BScreen::createStyleMenu(FbTk::Menu &menu, | |||
2016 | for (size_t file_index = 0; file_index < dir.entries(); file_index++) { | 2016 | for (size_t file_index = 0; file_index < dir.entries(); file_index++) { |
2017 | std::string style(stylesdir + '/' + filelist[file_index]); | 2017 | std::string style(stylesdir + '/' + filelist[file_index]); |
2018 | // add to menu only if the file is a regular file | 2018 | // add to menu only if the file is a regular file |
2019 | if (FbTk::Directory::isRegularFile(style)) | 2019 | if (FbTk::Directory::isRegularFile(style) || |
2020 | FbTk::Directory::isRegularFile(style + "/theme.cfg")) | ||
2020 | menu.insert(new StyleMenuItem(filelist[file_index], style)); | 2021 | menu.insert(new StyleMenuItem(filelist[file_index], style)); |
2021 | } | 2022 | } |
2022 | // update menu graphics | 2023 | // update menu graphics |