gui/graph-displayer.cc
changeset 2021 11455e986b95
parent 1869 52f5a7f9fb48
child 2052 c54ce7a5f4e7
equal deleted inserted replaced
10:57b3cdfe500a 11:380072d84af9
       
     1 #ifdef HAVE_CONFIG_H
       
     2 #include <config.h>
       
     3 #endif
       
     4 
     1 #include "all_include.h"
     5 #include "all_include.h"
     2 #include "mapstorage.h"
     6 #include "mapstorage.h"
     3 #include "main_win.h"
     7 #include "main_win.h"
     4 #include <libgnomecanvasmm.h>
     8 #include <libgnomecanvasmm.h>
     5 #include <libgnomecanvasmm/polygon.h>
     9 #include <libgnomecanvasmm/polygon.h>
       
    10 
       
    11 #include <locale.h>
       
    12 #include "gettext.h"
     6 
    13 
     7 #define MAIN_PART
    14 #define MAIN_PART
     8 
    15 
     9 std::vector <std::string> edge_property_strings;
    16 std::vector <std::string> edge_property_strings;
    10 std::vector <double> edge_property_defaults;
    17 std::vector <double> edge_property_defaults;
    12 std::vector <double> node_property_defaults;
    19 std::vector <double> node_property_defaults;
    13 int longest_property_string_length;
    20 int longest_property_string_length;
    14 
    21 
    15 int main(int argc, char *argv[])
    22 int main(int argc, char *argv[])
    16 {
    23 {
       
    24   bindtextdomain(PACKAGE, LOCALEDIR);
       
    25   bind_textdomain_codeset(PACKAGE, "UTF-8");
       
    26   textdomain(PACKAGE);
    17 
    27 
    18   //initializing
    28   //initializing
    19 
    29 
    20   edge_property_strings.resize(EDGE_PROPERTY_NUM);
    30   edge_property_strings.resize(EDGE_PROPERTY_NUM);
    21   edge_property_strings[E_WIDTH]="Edge Width";
    31   edge_property_strings[E_WIDTH]="Edge Width";