[gnome-commander] Options: inline create_devices_tab()

[Piotr Eljasiak <epiotr src gnome org>]

commit 3b3198582b9b4011e0230e6f12832b6c9654de19
Author: Piotr Eljasiak <epiotr src gnome org>
Date:   Sun Nov 6 14:08:08 2011 +0100

    Options: inline create_devices_tab()

 src/gnome-cmd-options-dialog.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/gnome-cmd-options-dialog.cc b/src/gnome-cmd-options-dialog.cc
index 06169f7..34f20c2 100644
--- a/src/gnome-cmd-options-dialog.cc
+++ b/src/gnome-cmd-options-dialog.cc
@@ -1836,7 +1836,7 @@ static void on_device_move_down (GtkWidget *button, GtkWidget *frame)
 }
 
 
-static GtkWidget *create_devices_tab (GtkWidget *parent, GnomeCmdData &cfg)
+inline GtkWidget *create_devices_tab (GtkWidget *parent, GnomeCmdData &cfg)
 {
     GtkWidget *frame, *hbox, *vbox, *cat, *cat_box;
     GtkWidget *button, *clist, *bbox, *check;